--- a/model/releases/WD-prov-n-20120503/Overview.html Wed Apr 25 09:00:46 2012 +0200
+++ b/model/releases/WD-prov-n-20120503/Overview.html Wed Apr 25 09:11:43 2012 +0200
@@ -14,7 +14,7 @@
</style>
- <style type="text/css" style="display: none !important;">*[src*="<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">"], *[src*="<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en" dir="ltr">"], *[src*="<head>"], *[src*="<title>The Official EasyList Website</title>"], *[src*="<meta http-equiv="content-type" content="text/html;charset=utf-8" />"], *[src*="<meta http-equiv="Content-Style-Type" content="text/css" />"], *[src*="<script type="text/javascript" src="/default-static/global/global/lib/prototype.js"></script>"], *[src*="<script type="text/javascript" src="/default-static/global/global/lib/shortcut.js"></script>"], *[src*="<script type="text/javascript" src="/default-static/global/global/lib/scriptaculous/scriptaculous.js"></script>"], *[src*="<script type="text/javascript" src="/default-static/global/global/class_utils.js"></script>"], *[src*="<script type="text/javascript" src="/default-static/global/global/global.js"></script>"], *[src*="<link rel="StyleSheet" href="/default-static/global/global/styles.css" type="text/css"/>"], *[src*="<link rel="StyleSheet" href="/_override-static/global/global/styles.css" type="text/css"/>"], *[src*="<link rel="StyleSheet" href="/default-static/actions/action_view/action_view.css" type="text/css"/><link rel="icon" type="image/png" href="/images/favicon.png" />"], *[src*="<link rel="stylesheet" type="text/css" href="/styles/easystyle-home.css" />"], *[src*="<script type="text/javascript" src="/scripts/localfunctions.js"></script>"], *[src*="<script type="text/javascript" src="/scripts/blogajax.js"></script>"], *[src*="<script type="text/javascript">"], *[src*="var g_anwcfg = new Array();"], *[src*="g_anwcfg["lock_renewrate"] = "20";"], *[src*="g_anwcfg["lock_expirealert"] = "180";"], *[src*="g_anwcfg["lock_countdowninterval"] = "5";"], *[src*="var g_pagename="en";"], *[src*="var g_actionpageurl="/en";"], *[src*="var g_actionurl="/";</script>"], *[src*="</head>"], *[src*="<body dir="ltr">"], *[src*="<div id="container" class="action-view">"], *[src*="<div id="header">"], *[src*="<div id="sessionnav" class="sessionnav-guest">"], *[src*="Anonymous"], *[src*="<a href="/?a=login">log in</a> ]"], *[src*="</div><br/>"], *[src*="<h1><a href="/"><img src="/images/easylogo.png""], *[src*="class="linkimage" width="589" height="150" alt="], *[src*=""EasyList" /></a></h1>"], *[src*="<div class="bar">"], *[src*="<div class="menu-container">"], *[src*="<span class="menu-open1"></span>"], *[src*="<span class="menu-open2"></span>"], *[src*="<div class="menu">"], *[src*="<ul>"], *[src*="<li class="menu-mainitem barli">"], *[src*="<h4 class="barlink"><a class="barref" href="http://forums.lanik.us/">EasyList Forums</a></h4>"], *[src*="</li>"], *[src*="<li class="menu-mainitem barli">"], *[src*="<h4 class="barlink"><a class="barref" href="/blog/" hreflang="en">EasyBlog</a></h4>"], *[src*="</li>"], *[src*="<li class="menu-mainitem barli">"], *[src*="<h4 class="barlink"><a class="barref" href="/en/development" hreflang="en">Development</a></h4>"], *[src*="</li>"], *[src*="<li class="menu-mainitem barli">"], *[src*="<h4 class="barlink"><a class="barref" href="/known_issues/" hreflang="en">Known issues</a></h4>"], *[src*="</li>"], *[src*="<li class="menu-mainitem barli">"], *[src*="<h4 class="barlink"><a class="barref" href="https://adblockplus.org/forum/">Adblock Plus Forums</a></h4>"], *[src*="</li>"], *[src*="</ul>"], *[src*="</div><!-- end menu -->"], *[src*="<span class="menu-close1"></span>"], *[src*="<span class="menu-close2"></span>"], *[src*="</div><!-- end menu-container -->"], *[src*="</div><!-- topmenu -->"], *[src*="</div><!-- end header -->"], *[src*="<div id="content">"], *[src*="<div class="viewcontent cc-page" dir="ltr">"], *[src*="<div id="pagetranslations">"], *[src*="<ul>"], *[src*="<li><a href="/de" style="background-image:url('/default-static/global/global/img/flags/de.png');">de</a></li>"], *[src*="<li class="current" style="background-image:url('/default-static/global/global/img/flags/en.png');">en</li>"], *[src*="<li><a href="/ko" style="background-image:url('/default-static/global/global/img/flags/ko.png');">ko</a></li>"], *[src*="</ul>"], *[src*="</div>"], *[src*="<p>The Easy subscriptions are lists of filters designed for <a href="https://adblockplus.org/">Adblock Plus</a> that automatically remove unwanted content from the internet, including annoying adverts, bothersome banners and troublesome tracking. The subscriptions are currently maintained by five authors, Michael, Ares2, Erunno, Khrin and MonztA, who are ably assisted by an ample forum community.</p>"], *[src*="<div id="easylist" class="box">"], *[src*="<h3>EasyList</h3>"], *[src*="<p>EasyList is the primary subscription that removes adverts from English webpages, including unwanted frames, images and objects. It is the most popular list for Adblock Plus, with over 7 million daily users, and forms the basis of over a dozen combination and supplementary subscriptions.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="abp:subscribe?location=https://easylist-downloads.adblockplus.org/easylist.txt&title=EasyList">Add EasyList to Adblock Plus</a>"], *[src*="</div>"], *[src*="<div class="rightlink">"], *[src*="<a href="https://easylist-downloads.adblockplus.org/easylist.txt">View EasyList</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<div id="easyprivacy" class="box">"], *[src*="<h3>EasyPrivacy</h3>"], *[src*="<p>EasyPrivacy is an optional supplementary subscription that completely removes all forms of tracking from the internet, including web bugs, tracking scripts and information collectors, thereby protecting your personal data.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="abp:subscribe?location=https://easylist-downloads.adblockplus.org/easyprivacy.txt&title=EasyPrivacy&requiresLocation=https://easylist-downloads.adblockplus.org/easylist.txt&requiresTitle=EasyList">Add EasyPrivacy to Adblock Plus</a>"], *[src*="</div>"], *[src*="<div class="rightlink">"], *[src*="<a href="https://easylist-downloads.adblockplus.org/easyprivacy.txt">View EasyPrivacy</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<div id="additional" class="box">"], *[src*="<h3 onclick="collapse();"><strong>Other Supplementary Subscriptions and Variants...</strong></h3>"], *[src*="<div id="additionalcontent">"], *[src*="<h3>Easy Variants</h3>"], *[src*="<p>Some of the subscriptions have been adapted for specific compatibility with other products and environments; these variants are listed below.</p>"], *[src*="<div id="easyprivacytpl" class="box">"], *[src*="<h4>EasyPrivacy Tracking Protection List</h4>"], *[src*="<p>This EasyPrivacy variant is available for Internet Explorer 9 and blocks tracking items, including web bugs, tracking scripts and information collectors, thereby protecting your personal data.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="javascript:window.external.msAddTrackingProtectionList('http://easylist-msie.adblockplus.org/easyprivacy.tpl', 'EasyPrivacy Tracking Protection List')">Add EasyPrivacy Tracking Protection list to Internet Explorer 9</a>"], *[src*="</div>"], *[src*="<div class="rightlink">"], *[src*="<a href="http://easylist-msie.adblockplus.org/easyprivacy.tpl">View EasyPrivacy Tracking Protection List</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<div id="easylistnoelemhide" class="box">"], *[src*="<h4>EasyList without element hiding</h4>"], *[src*="<p>This EasyList variant only contains blocking filters to remove adverts, with no element rules whatsoever; it therefore has more limited coverage than the full version of the list, although still commands a niche market.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="abp:subscribe?location=https://easylist-downloads.adblockplus.org/easylist_noelemhide.txt&title=EasyList%20without%20element%20hiding">Add EasyList without element hiding to Adblock Plus</a>"], *[src*="</div>"], *[src*="<div class="rightlink">"], *[src*="<a href="https://easylist-downloads.adblockplus.org/easylist_noelemhide.txt">View EasyList without element hiding</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<h3>Affiliated Subscriptions</h3>"], *[src*="<p>EasyList is officially affiliated with several supplementary subscriptions that are selected by the EasyList authors based on the quality of the filters. Every supplement removes unwanted items from a particular genre of websites that are not specifically dealt with by EasyList, and are necessary for people who regularly visit non-English domains.</p>"], *[src*="<div id="easylistgermany" class="box">"], *[src*="<h4>EasyList Germany</h4>"], *[src*="<p>EasyList Germany is a subscription written by the Easy authors Ares2, Erunno and MonztA that specifically removes adverts on German language websites.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="abp:subscribe?location=https%3A%2F%2Feasylist-downloads.adblockplus.org%2Feasylistgermany.txt&title=EasyList%20Germany&requiresLocation=https%3A%2F%2Feasylist-downloads.adblockplus.org%2Feasylist.txt&requiresTitle=EasyList">Add EasyList Germany to Adblock Plus</a>"], *[src*="</div>"], *[src*="<div class="rightlink">"], *[src*="<a href="https://easylist-downloads.adblockplus.org/easylistgermany.txt">View EasyList Germany</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<div id="listefr" class="box">"], *[src*="<h4>Liste FR</h4>"], *[src*="<p>Liste FR is an affiliated subscription written by Lian that specifically removes adverts on French language websites.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="abp:subscribe?location=http%3A%2F%2Flian.info.tm%2Fliste_fr.txt&title=Liste%20FR&requiresLocation=https%3A%2F%2Feasylist-downloads.adblockplus.org%2Feasylist.txt&requiresTitle=EasyList">Add Liste FR to Adblock Plus</a>"], *[src*="</div>"], *[src*="<div class="view">"], *[src*="<a href="http://lian.info.tm/liste_fr.txt ">View Liste FR</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<div id="chinalist" class="box">"], *[src*="<h4>ChinaList</h4>"], *[src*="<p>ChinaList is an affiliated subscription that specifically removes adverts on Chinese language websites.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="abp:subscribe?location=http%3A%2F%2Fadblock-chinalist.googlecode.com%2Fsvn%2Ftrunk%2Fadblock.txt&title=ChinaList&requiresLocation=https%3A%2F%2Feasylist-downloads.adblockplus.org%2Feasylist.txt&requiresTitle=EasyList">Add ChinaList to Adblock Plus</a>"], *[src*="</div>"], *[src*="<div class="view">"], *[src*="<a href="http://adblock-chinalist.googlecode.com/svn/trunk/adblock.txt">View ChinaList</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<div id="bulgarianlist" class="box">"], *[src*="<h4>Bulgarian list</h4>"], *[src*="<p>Bulgarian list is an affiliated subscription written by Alex that specifically removes adverts on Bulgarian language websites.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="abp:subscribe?location=http%3A%2F%2Fstanev.org%2Fabp%2Fadblock_bg.txt&title=Bulgarian%20list&requiresLocation=https%3A%2F%2Feasylist-downloads.adblockplus.org%2Feasylist.txt&requiresTitle=EasyList">Add Bulgarian list to Adblock Plus</a>"], *[src*="</div>"], *[src*="<div class="view">"], *[src*="<a href="http://stanev.org/abp/adblock_bg.txt">View Bulgarian list</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<div id="abpindo" class="box">"], *[src*="<h4>ABPindo</h4>"], *[src*="<p>ABPindo is an affiliated subscription written by hermawan that specifically removes adverts on Indonesian language websites.</p>"], *[src*="<div class="options">"], *[src*="<div class="leftlink">"], *[src*="<a href="abp:subscribe?location=http%3A%2F%2Findonesianadblockrules.googlecode.com%2Fhg%2Fsubscriptions%2Fabpindo.txt&title=ABPindo&requiresLocation=https%3A%2F%2Feasylist-downloads.adblockplus.org%2Feasylist.txt&requiresTitle=EasyList">Add ABPindo to Adblock Plus</a>"], *[src*="</div>"], *[src*="<div class="view">"], *[src*="<a href="http://indonesianadblockrules.googlecode.com/hg/subscriptions/abpindo.txt ">View ABPindo</a>"], *[src*="</div>"], *[src*="</div>"], *[src*="</div>"], *[src*="<p>Other subscriptions, including independent ones and those not officially affiliated with EasyList or EasyPrivacy, are available at <a href="https://adblockplus.org/en/subscriptions">the full list of known filter subscriptions for Adblock Plus</a>.</p>"], *[src*="</div>"], *[src*="</div>"], *[src*="<p>If you should encounter unwanted items or problems with the Easy subscriptions you should report the issues in the <a href="http://forums.lanik.us/">EasyList Forums</a>. No registration is required. This will allow members to assist you in resolving problems and will notify the authors that the subscriptions should be updated, a change that will rectify the issue for all users. You can also request assistance by <a href="mailto:easylist.subscription@gmail.com">e-mailing the Easy authors directly</a>.</p>"], *[src*="<p>Problems with other subscriptions should be reported to their respective authors; the contact information is available in the <a href="https://adblockplus.org/en/subscriptions">full list of subscriptions</a>.</p>"], *[src*="<hr />"], *[src*="<h3 id="blogtitle"><a href="/blog/" class="title">EasyBlog</a></h3>"], *[src*="<div id="easyblog">"], *[src*="</div>"], *[src*="</div>"], *[src*="</div><!-- end content -->"], *[src*="<div class="bar">"], *[src*="<a class="barref" href="/en/about" hreflang="en">About EasyList</a>"], *[src*="</div>"], *[src*="</div><!-- end container -->"], *[src*="</body>"], *[src*="</html>"]{display: none !important;}</style><script type="text/javascript" style="display: none !important;">document.write = function(w){return function(s){var getTLD=function(url){if(!url)return'';var link=document.createElement('a');link.href=url;var domain=link.host;var r=domain.match(/^((?:\d{1,3}\.){3})\d{1,3}$/);if(r)return r[1]+'0';var a=domain.split('.');var l=a.length;if(l<2)return domain;return!/\.[a-z]{2}$/.test(window.location.hostname)?a[l-2]+'.'+a[l-1]:a[(l>2&&/^(co|com|net|org|edu|gov|mil)$/i.test(a[l-2]))?l-3:l-2]}; if(!/src\s*=\s*\x22(.+)\x22/i.test(s) || getTLD(RegExp.$1) == getTLD(location.href)){w.call(this, s)}}}(document.write);</script>
+
@@ -485,432 +485,7 @@
pre.sh_sourceCode .sh_paren { color: red; }
pre.sh_sourceCode .sh_attribute { color: #006400; }
-</style><style type="text/css">
-/* --- EDITORIAL NOTES --- */
-.pending {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #BFEFFF;
-}
-
-.pending::before {
- content: "Pending Review";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-
-.resolved {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #9BCD9B;
-}
-
-.resolved::before {
- content: "Resolved";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-
-.inference {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #fff;
-}
-
-.inference[id]::before {
- content: "Inference: " attr(id);
- width: 380px; /* How can we compute the length of "Constraint: " attr(id) */
-}
-
-
-.inference::before {
- content: "Inference";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-.syntax {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #fff;
-}
-
-.syntax[id]::before {
- content: "Syntax: " attr(id);
- width: 380px; /* How can we compute the length of "Constraint: " attr(id) */
-}
-
-
-.syntax::before {
- content: "Syntax";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-.unamedconstraint {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #00f;
- background: #fff;
-}
-
-
-.unamedconstraint::before {
- content: "Constraint";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #00f;
- background: #fff;
- padding: 3px 1em;
-}
-
-
-
-.constraint {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #00f;
- background: #fff;
-}
-
-.constraint[id]::before {
- content: "Constraint: " attr(id);
- width: 380px; /* How can we compute the length of "Constraint: " attr(id) */
-}
-
-
-.constraint::before {
- content: "Constraint";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #00f;
- background: #fff;
- padding: 3px 1em;
-}
-
-
-
-.interpretation {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #00f;
- background: #fff;
-}
-
-.interpretation[id]::before {
- content: "Interpretation: " attr(id);
- width: 380px; /* How can we compute the length of "Interpretation: " attr(id) */
-}
-
-
-.interpretation::before {
- content: "Interpretation";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #00f;
- background: #fff;
- padding: 3px 1em;
-}
-
-.definition {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #777;
- background: #fff;
-}
-
-.definition[id]::before {
- content: "Definition: " attr(id);
- width: 380px;
-}
-
-
-.definition::before {
- content: "Definition";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #000;
- background: #fff;
- padding: 3px 1em;
-}
-
-
-.deprecatedconstraint {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #00f;
- background: #fff;
-}
-
-.deprecatedconstraint[id]::before {
- content: "Deprecated: " attr(id);
- width: 380px; /* How can we compute the length of "Deprecatedconstraint: " attr(id) */
-}
-
-
-.deprecatedconstraint::before {
- content: "Deprecated";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #00f;
- background: #fff;
- padding: 3px 1em;
-}
-
-.glossary-ref {
- font-style: italic;
-}
-
-.dfn {
- font-weight: bold;
-}
-
-
-.attribute {
- font-style: italic;
-}
-
-
-.conditional {
- color: blue;
-}
-
-.grammar {
- margin-top: 1ex;
- margin-bottom: 1ex;
- padding-left: 1ex;
- padding-right: 1ex;
- padding-top: 1ex;
- padding-bottom: 0.6ex;
- border: 1px dashed #2f6fab;
- font-size: 80%;
-}
-.nonterminal {
- font-weight: bold;
- font-family: sans-serif;
- font-size: 95%;
-}
-
-.name {
- font-family: monospace;
-}
-
-
-.xmpl {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #fff;
-}
-
-.xmpl::before {
- content: "Example";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-.anexample:before {
- content: "Example:";
- font-family: sans-serif;
- font-size: 1.6ex;
- font-weight: bold;
-}
-.anexample {
- margin-top: 1ex;
- margin-bottom: 1ex;
- padding-left: 1ex;
- padding-right: 1ex;
- padding-top: 1ex;
- padding-bottom: 0.6ex;
- border: 1px dashed #2f6fab;
- background-color: #f9f9f9;
-}
-.anexample table {
- background-color: #f9f9f9;
-}
-
-.conceptexample:before {
- content: "Example:";
- font-family: sans-serif;
- font-size: 1.6ex;
- font-weight: bold;
-}
-.conceptexample {
- margin-top: 1ex;
- margin-bottom: 1ex;
- padding-left: 1ex;
- padding-right: 1ex;
- padding-top: 1ex;
- padding-bottom: 0.6ex;
- border: 1px dashed #2f6fab;
- background-color: #f9f9f9;
-}
-
-.pnExpression {
- font-weight: normal;
- font-size:120%;
- font-family: monospace;
-}
-
-
-div[class="grammar"] span[class="name"]:before {
- content: "'";
-}
-
-div[class="grammar"] span[class="name"]:after {
- content: "'";
-}
-
-
-div[class="grammar"] span[class="optional"]:before {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: "(";
-}
-
-div[class="grammar"] span[class="optional"]:after {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: ")?";
-}
-
-
-div[class="grammar"] span[class="plus"]:before {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: "(";
-}
-
-div[class="grammar"] span[class="plus"]:after {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: ")+";
-}
-
-
-div[class="grammar"] span[class="star"]:before {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: "(";
-}
-
-div[class="grammar"] span[class="star"]:after {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: ")*";
-}
-
-div[class="grammar"] span[class="choice"]:before {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: "(";
-}
-
-div[class="grammar"] span[class="choice"]:after {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: ")";
-
-div[class="grammar"] span[class="group"]:before {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: "(";
-}
-
-div[class="grammar"] span[class="group"]:after {
- font-weight: normal;
- font-size:130%;
- font-family: monospace;
- content: ")";
-}
-
-table {
- background-color: #f9f9f9;
-}
-
-.component1-color {
- background-color: rgba(255,42,42,0.2);
-}
-
-.component2-color {
- background-color: rgba(0,68,170,0.2);
-}
-
-.component3-color {
- background-color: rgba(0,170,0,0.2);
-}
-.component4-color {
- background-color: rgba(204,255,0,0.2);
-}
-
-.component5-color {
- background-color: rgba(11,40,40,0.2);
-}
-
-.component6-color {
- background-color: rgba(244,105,14,0.2);
-}
-
-.interpretation-forward::before {
- content: "Interpretation: ";
- font-weight: bold;
-}
-
-.structural-forward::before {
- content: "Structural constraint: ";
- font-weight: bold;
-}
-</style><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8"></head>
+</style><link href="./extra.css" rel="stylesheet" type="text/css" charset="utf-8"><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8"></head>
<body style="display: inherit; "><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a></p><h1 class="title" id="title">PROV-N: The Provenance Notation</h1><h2 id="subtitle">WD1, being finalized for publication</h2><h2 id="w3c-editor-s-draft-25-april-2012"><acronym title="World Wide Web Consortium">W3C</acronym> Editor's Draft 25 April 2012</h2><dl><dt>This version:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-n/">http://www.w3.org/TR/prov-n/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</a></dd><dt>Previous version:</dt><dd>none</dd><dt>Editors:</dt><dd><a href="http://www.ecs.soton.ac.uk/~lavm/">Luc Moreau</a>, University of Southampton</dd>
<dd><a href="http://www.cs.ncl.ac.uk/people/Paolo.Missier">Paolo Missier</a>, Newcastle University</dd>
</dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2011-2012 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. <acronym title="World Wide Web Consortium">W3C</acronym> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p><hr></div>