/* Change 6: Many touchups to styles and placement of the rules. */

$COMMENT {  display: block;  color: purple;  white-space: pre;}

$PROCINS {  color: olive;  font-size: 10pt;  white-space: pre;}

$DOCUMENT {  font-family: "Times New Roman";  font-size: 11pt;}

interface attribute {  display: block;  margin-top: 1em;}

interface attribute:before {  font-weight: bold;  content: "attribute " attr(name) " of type " attr(type);}

interface attribute[readonly="yes"]:before {  content: "readonly attribute " attr(name) " of type " attr(type);}

b {  font-weight: bold;  margin-top: 2em;  margin-right: 1em;  margin-left: 70px;  margin-bottom: 2em;}

back {  display: block;  counter-reset: div1;}

attribute descr {  margin-top: 0em;  margin-left: 1em;}

method descr {  margin-left: 1em;}

method returns descr {  margin-left: 0em;}

div2 {  display: block;  margin-top: 20pt;  counter-increment: div2;  counter-reset: div3;}

div3 { counter-increment: div3; counter-reset: div4; }

div4 { counter-increment: div4; }

ednote:before {  content: "Editorial Note: ";  font-weight: bold;}

eg {  font-family: "Courier New", monospace;  display: block;  white-space: pre;  margin-left: 1.5em;  background-color: aqua;  border: thin black solid;  margin-top: 10pt;}

email {  font-style: normal;  color: blue;  text-decoration: underline;}

div1 head, inform-div1 head {  display: block;  font-weight: bold;  font-size: 150%;  font-family: Arial, sans-serif;  color: #005A9C;}

div2 head {  display: block;  font-weight: bold;  font-size: 130%;  font-family: Arial, sans-serif;  color: #005A9C;}

div3 head {  display: block;  font-size: 115%;  color: #005A9C;  font-family: sans-serif;}

scrap head {  font-weight: bold;  color: red;}

issue:before {  font-weight: bold;  content: "Issue " attr(id) " (" attr(status) "): ";  color: red;}

note, example {  display: block;  margin-top: 20pt;  margin-left: 30pt;}

example:before {  content: "EXAMPLE: ";  font-weight: bold;}

note:before {  content: "NOTE: ";  font-weight: bold;}

nt, code {  font-family: "Courier New", monospace;}

olist {  display: block;  margin-left: 1.5em;  list-style-type: decimal;}

p {  display: block;  margin-top: 8pt;}

list p {  margin-top: 15pt;}

descr p {  margin-top: 0pt;}

prod {  display: block;  font-family: "Courier New", monospace;  counter-increment: prod;}

pubdate {  font-family: Arial, sans-serif;  font-weight: bold;  display: block;  text-align: center;}

ref, bibref {  color: blue;}

scrap {  display: block;  font-family: "Courier New", monospace;  margin-top: 2em;}

term, label, lhs {  font-weight: bold;}

termref {  color: green;}

title {  font-family: sans-serif, sans-serif;  font-size: 170%;  font-weight: bold;  align: center;  text-align: center;  color: #005A9C;}

vcnote, div3, inform-div1 {  display: block;  margin-top: 20pt;}

version {  font-size: 170%;  font-weight: bold;  font-family: Arial, sans-serif;  color: #005A9C;}

w3c-designation {  display: block;  font-weight: bold;  align: center;  text-align: center;}

w3cheader {  align: center;  text-align: center;}

method {  margin-top: 1em;  margin-bottom: 1em;  display: block;}

parameters {  margin-left: 1em;  display: block;  list-item-style: none;  list-style-type: none;}

method:before {  font-weight: bold;  font-size: larger;  content: attr(name);}

interface {  display: block;  margin-top: 10pt;  margin-left: 5pt;  margin-right: 5pt;}

method raises, method returns {  margin-left: 1em;  display: block;}

ulist {  list-style-type: disc;  margin-left: 10pt;  display: block;}

item, olist item, param {  display: list-item;}

resolution:before {  content: "Resolution: ";  font-weight: bold;}

interface:before {  font-weight: bold;  content: "Interface " attr(name);}

returns:before {  content: "Return value: " attr(type);}

typedef:before, enumerator:before {  content: attr(name);}

note[role="editorial"]:before {  content: "ED: ";  font-weight: bold;}

parameters:before {  font-weight: bold;  content: "Parameters: ";}

param:before {  content: attr(name) " of type " attr(type);}

constant:before {  content: attr(name) " of type " attr(type) " with value " attr(value);}

abstract:before {  font-weight: bold;  display: block;  content: "Abstract";  margin-top: 10pt;}

status:before {  font-weight: bold;  display: block;  content: "Status";  margin-top: 10pt;}

div1 {  margin-top: 20pt;  counter-increment: div1;  counter-reset: div2;  display: block;}

authlist:before {  font-style: normal;  display: block;  content: "Editors:";  margin-top: 5pt;  font-weight: normal;  margin-left: -40px;}

revisiondesc:before {  display: block;  content: "Revision History";  font-weight: bold;}

abstract {  display: block;  border-top: 5pt blue solid;}

spec {  margin-top: 2em;  margin-right: 1em;  margin-bottom: 2em;  margin-left: 70px;  font-family: sans-serif;  background-color: white;}

header {  margin-bottom: 1em;}date {  color: #005A9C;  font-size: 140%;}

publoc:before {  display: block;  content: "This version:";  margin-left: -40px;}

latestloc:before {  display: block;  content: "Latest version:";  margin-left: -40px;}

prevlocs:before {  display: block;  content: "Previous versions:";  margin-left: -40px;}

affiliation:before {  content: ", ";}

email:before {  content: "<";}

email:after {  content: ">";}

affiliation:after, day:after, month:after, version:before {  content: " ";}

loc {  color: blue;  text-decoration: underline;}

div1>head:before {  content: counter(div1) " ";}

back inform-div1>head:before, back div1>head:before {  content: counter(div1, upper-alpha) " ";}

back div2>head:before {  content: counter(div1, upper-alpha) "." counter(div2) " ";}

div2>head:before {  content: counter(div1) "." counter(div2) " ";}

div3>head:before {  content: counter(div1) "." counter(div2) "." counter(div3) " ";}

back div3>head:before {  content: counter(div1, upper-alpha) "." counter(div2) "." counter(div3) " ";}

div4>head:before {  content: counter(div1) "." counter(div2) "." counter(div3) "." counter(div4) " ";}

termdef:before {  content: "[Definition: ";}

termdef:after {  content: "]";}

scrap>head {  font-style: italic;  margin-bottom: 15px;  font-size: 120%;}

lhs:before {  content: "["counter(prod) "]";  font-style: normal;  font-weight: normal;}

lhs:after {  content: "";}

rhs:before {  content: " ::= ";}

vc:before, wfc:before {  font-style: italic;  content: "[" attr(def) "]";}

bibl:before {  font-weight: bold;  display: block;  content: attr(key);  margin-left: -40px;}

bibl, def, authlist, latestloc, prevlocs, publoc {  display: block;  margin-left: 40px;}

titleref, i, affiliation, bibl title, emph {  font-style: italic;}

inform-div1 {  counter-increment: div1;}

definitions, wfcnote, gitem, div4 {  display: block;  margin-top: 10pt;}

issue {  margin-top: 10pt;}

req>olist>item>p, req {  background-color: yellow;}

req-list {  background-color: yellow;}

del {  color: silver;}

ins, u, *.diff-add {  text-decoration: underline;}

edtext, [role="editorial"], *.diff-del {  color: red;}

caption, alt, div5, status, author, body, descr, ednote, front, issue, sitem, member, revisiondesc {  display: block;}

figure>image, caption, alt {  text-align: center;}

figure {  text-align: center;  display: block;}

th {  font-weight: bold;}

alt {  color: blue;}

sub, sup { font-size: .83em }
sub  { vertical-align: sub }
sup  { vertical-align: super }