--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paq/releases/WD-prov-aq-20130312/css/prov-aq.css	Mon Mar 04 20:28:59 2013 +0100
@@ -0,0 +1,198 @@
+/* --- Override ReSpec.css --- */
+
+code {
+    color:  #224433;
+}
+
+    /* Be more specific: above override doesn't work */
+p code {
+    font-family: monospace;
+    color:  #224433;
+}
+
+div code {
+    font-family: monospace;
+    color:  #224433;
+}
+
+
+/* --- PATTERNS --- */
+
+pre.pattern {
+    border-top: 1px solid #224433;
+    border-bottom: 1px solid #224433;
+    color:  #224433;
+    padding:    1em;
+    margin-top: 1em;
+}
+
+pre.code {
+    color:  #224433;
+}
+
+pre.example.code {
+    border-bottom: 1px solid #224433;
+    border-top: 1px solid #224433;
+    margin-top: 1em;
+    padding: 1em;
+}
+
+pre.example.code:before {
+    background: #224433;
+}
+
+/*
+pre.pattern::before {
+    content:    "";
+    display:    block;
+    width:      150px;
+    background: #224433;
+    color:  #fff;
+    font-family:    initial;
+    padding:    3px;
+    font-weight:    bold;
+    margin: -1em 0 1em -1em;
+}
+*/
+
+
+/* --- EDITORIAL NOTES (from model doc) --- */
+
+.issue {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #ffc;
+}
+
+.issue:before {
+    content:    "Issue";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #f00;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+.TODO {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #ffc;
+}
+
+.TODO:before {
+    content:    "TODO";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #f00;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+.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: 0px solid #f00;
+    background: #fff;
+}
+
+.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;
+}
+
+/* --- Labelled value layout --- */
+
+div.label-value {
+    display: block;
+    position: relative;
+    left: 1em;
+    height: auto;
+}
+
+span.label {
+    display: inline-block;
+    vertical-align: top;
+    font-style: italic;
+    min-width: 20%;
+}
+
+span.value {
+    display: inline-block;
+    vertical-align: top;
+    width: 80%;
+    height: auto;
+}
+
+span.code {
+    font-family: monospace;
+}
+
+
+/* "Macro" for provns namespace */
+
+provns:before {
+    content:    "http://www.w3.org/ns/prov#";
+    display:    inline;
+    font-family: monospace;
+}
+
+/* External link. CSS and image data copied from wikimedia.org.  Thanks! 
+a.externalRef {
+background:url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAoAAAAKCAYAAACNMs+9AAAAVklEQVR4Xn3PgQkAMQhDUXfqTu7kTtkpd5RA8AInfArtQ2iRXFWT2QedAfttj2FsPIOE1eCOlEuoWWjgzYaB/IkeGOrxXhqB+uA9Bfcm0lAZuh+YIeAD+cAqSz4kCMUAAAAASUVORK5CYII=) center right no-repeat;
+background:url(images/external-link-ltr-icon.png) center right no-repeat!ie;padding-right:13px
+}
+*/
+
+a.externalRef:after {
+content:url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAoAAAAKCAYAAACNMs+9AAAAVklEQVR4Xn3PgQkAMQhDUXfqTu7kTtkpd5RA8AInfArtQ2iRXFWT2QedAfttj2FsPIOE1eCOlEuoWWjgzYaB/IkeGOrxXhqB+uA9Bfcm0lAZuh+YIeAD+cAqSz4kCMUAAAAASUVORK5CYII=);
+}