Web Platform Tests项目中的:visited颜色计算样式改进
Web Platform Tests(WPT)是一个用于测试Web平台功能的开源项目,它为浏览器厂商和Web开发者提供了一个共享的测试套件,确保Web标准在不同浏览器中的一致实现。最近,该项目合并了一个关于CSS :visited伪类的重要改进,这将影响浏览器如何处理已访问链接的颜色计算。
背景与问题
在Web开发中,:visited伪类用于设置用户已访问过的链接样式。出于安全考虑,浏览器长期以来对:visited链接的样式获取进行了特殊处理。为了防止恶意网站通过JavaScript探测用户的浏览历史,浏览器会限制获取已访问链接的真实计算样式。
具体来说,当开发者调用getComputedStyle()方法获取已访问链接的样式时,浏览器会返回未访问状态下的样式值,而不是实际显示给用户的:visited样式。这种保护机制虽然保障了用户隐私,但也给开发者带来了一些困扰,因为他们无法通过标准API获取链接的真实显示样式。
技术改进
Chromium团队最近实现了一个重要的改变:现在getComputedStyle()可以直接返回:visited链接的实际颜色值。这一改进基于以下技术背景:
- 
历史分区技术:现代浏览器已经实现了历史记录的隔离分区,这意味着不同网站的访问历史被严格隔离,:visited状态不再具有跨站点的敏感性。
 - 
样式计算简化:原先浏览器需要维护两套样式计算系统——一套用于普通状态,一套用于:visited状态。随着安全模型的改进,这种双重计算机制变得不再必要。
 - 
渐进式改进:该功能目前默认关闭,作为过渡措施,确保不会影响现有Web应用的兼容性。开发者可以通过实验性标志启用这一行为。
 
实现细节
在技术实现层面,这一改变涉及以下关键点:
- 移除对两种"替代现实"(普通状态和:visited状态)的颜色跟踪代码
 - 将:visited颜色直接应用到ComputedStyle中
 - 保持向后兼容性,通过标志控制新行为
 - 为未来完全移除旧有机制做准备
 
对开发者的影响
这一改进将给Web开发者带来以下好处:
- 
更直观的调试体验:开发者现在可以通过标准API直接获取链接的实际显示颜色,简化了调试过程。
 - 
更一致的API行为:getComputedStyle()的行为与其他样式获取方式更加一致,减少了特殊情况的处理。
 - 
未来兼容性:虽然目前该功能默认关闭,但开发者可以提前适应这一变化,为未来的浏览器更新做好准备。
 
展望
随着这一改进在稳定版中经过充分测试,Chromium团队计划逐步移除维护单独:visited颜色的代码。这将简化浏览器的样式计算逻辑,提高性能,同时保持用户隐私不受影响。
这一变化也反映了Web平台安全模型的成熟——通过分区隔离等底层安全机制,可以在不牺牲用户隐私的前提下,为开发者提供更强大、更一致的功能API。
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00- DDeepSeek-OCRDeepSeek-OCR是一款以大语言模型为核心的开源工具,从LLM视角出发,探索视觉文本压缩的极限。Python00
 
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
HunyuanWorld-Mirror混元3D世界重建模型,支持多模态先验注入和多任务统一输出Python00
MiniMax-M2MiniMax-M2是MiniMaxAI开源的高效MoE模型,2300亿总参数中仅激活100亿,却在编码和智能体任务上表现卓越。它支持多文件编辑、终端操作和复杂工具链调用Jinja00
Spark-Scilit-X1-13B科大讯飞Spark Scilit-X1-13B基于最新一代科大讯飞基础模型,并针对源自科学文献的多项核心任务进行了训练。作为一款专为学术研究场景打造的大型语言模型,它在论文辅助阅读、学术翻译、英语润色和评论生成等方面均表现出色,旨在为研究人员、教师和学生提供高效、精准的智能辅助。Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00- HHowToCook程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese only).Dockerfile014
 
Spark-Chemistry-X1-13B科大讯飞星火化学-X1-13B (iFLYTEK Spark Chemistry-X1-13B) 是一款专为化学领域优化的大语言模型。它由星火-X1 (Spark-X1) 基础模型微调而来,在化学知识问答、分子性质预测、化学名称转换和科学推理方面展现出强大的能力,同时保持了强大的通用语言理解与生成能力。Python00- PpathwayPathway is an open framework for high-throughput and low-latency real-time data processing.Python00