/* Basics */
html {
 padding-left: 6.8em;
 padding-right: 6.8em; /* It would be nice to have this collapse as the window gets small. */
}
body {
 margin: 0 auto;
 max-width: 800px;
 background-color: #fdfdfc;
 color: #333333;
font-family: Arial, sans-serif;
 line-height: 135%;
}
section {
 display: block;
}
h1 {
 line-height: normal;
}
body > section {
 margin-top: 5em;
}
body > section > section {
 margin-top: 4em;
}
body > section > section section {
 margin-top: 2.5em;
}
body > .inner-title {
 font-size: 160%;
 font-weight: bold;
 margin-top: 6em;
}
body section h1 {
 font-size: 110%;
 margin-bottom: 1em;
}
body > hgroup > h1 {
 font-size: 150%;
 margin-top: 0;
 margin-bottom: 0;
}
h1 span.secnum {
 width: 6em;
 margin-left: -6.8em;
 text-align: right;
 float: left;
}
h2 {
 font-size: 100%;
 margin-bottom: 1em;
}

h1 > span.section-status {
 display: block;
}

section > p,
div > p {
 text-align: justify;
}

b,
em.jargon-first-use,
span.this,
span.value,
span.libname,
span.errorname,
code,
pre {
 color: #555555;
 font-weight: bold;
}

code,
pre,
.string.value {
 font-family: "Courier New", monospace;
}
code,
.string,
.math {
 white-space: nowrap;
}

#sec4\.3 section h1 {
 font-size: 100%;
 margin-bottom: 0;
}

sup,
sub {
 font-size: smaller;
 vertical-align: baseline; /* Make sup and sub not affect line height. */
 position: relative;
}
sup {
 bottom: 0.3em;
}
sub {
 bottom: -0.3em;
}
.gp sub,
.prod sub,
sub.gopt {
 /* Specifically for "opt". */
 font-size: 65%;
}

pre {
 margin-left: 2em;
 font-size: 85%;
}
div.math-display {
 margin-left: 4em;
}

a:link {
 text-decoration: none;
 color: #3333bb;
}
a:hover {
 text-decoration: underline;
 color: blue;
}
a:link b,
a:link span.value,
a:link span.this,
a:link span.libname,
a:link span.errorname,
a:link code {
 color: #5555bb;
}
a:hover b,
a:hover span.value,
a:hover span.this,
a:hover span.libname,
a:hover span.errorname,
a:hover code {
 color: #0000ee;
}
a:visited b,
a:visited span.value,
a:visited span.this,
a:visited span.libname,
a:visited span.errorname,
a:visited code {
 color: inherit;
}
span.secnum a:link,
span.secnum a:visited {
 color: inherit;
}
h1:hover span.secnum a:link,
h1:hover span.secnum a:visited {
 color: #5555bb;
 text-decoration: underline;
}
.toc span.secnum a:link,
.toc span.secnum a:visited {
 color: #5555bb;
}

em {
 font-style: italic;
}
p.formal-reference {
 margin-left: 3em;
 text-indent: -1em;
}
span.book-title {
 font-style: italic;
}
span.abstractopname {
 font-style: italic;
}
span.typename {
 font-style: italic;
}
span.typecombinator {
 font-style: italic;
}
dfn {
 font-style: italic;
}

div.blank-page:after {
 content: '\0000a0';
 clear: both;
 margin-bottom: 1em;
}

/* Front matter */
ol.toc {
 padding-left: 0;
}
ol.toc > li {
 list-style-type: none;
 padding-left: 1em;
 text-indent: -1em;
}
ol.toc > li span.secnum {
 float: none;
}

#unofficial {
 margin: 4em 0;
 background-color: #eed4bb;
 border-radius: 6px;
 padding: 2em 4em;
}
#ecma-disclaimer {
 font-style: italic;
 border: 1px solid;
 margin: 2em 0 3em 0;
}
.stern.warning {
 font-weight: bold;
 text-transform: uppercase;
}

/* Notes */
div.note {
 margin: 1em 0 1em 6em;
}
span.nh {
 float: left;
 width: 6em;
 margin-left: -6em;
}

/* Figures and tables */
figure {
 display: block;
 margin: 1em 0 3em 0;
}
figure object {
 display: block;
 margin: 0 auto;
}
figure table.real-table {
 margin: 0 auto;
}
figure figcaption {
 display: block;
 color: #555555;
 font-weight: bold;
 text-align: center;
}

table.real-table {
 border-collapse: collapse;
}
table.real-table td,
table.real-table th {
 border: 1px solid black;
 padding: 0.4em;
 vertical-align: baseline;
}
table.real-table th {
 background-color: #eeeeee;
}

/* Note: the left content edges of table.lightweight-table >tbody >tr >td
   and div.display line up. */
table.lightweight-table {
 border-collapse: collapse;
 margin: 0 0 0 1.5em;
}
table.lightweight-table td,
table.lightweight-table th {
 border: none;
 padding: 0 0.5em;
 vertical-align: baseline;
}
div.display {
 margin: 1em 0 1em 2em;
}

/* Grammar productions */
div.gp {
 margin-left: 2.4em;
 margin-top: 0.9em;
}
div.rhs {
 margin-left: 2.4em;
} /* right-hand side */
div.pile {
 margin-left: 2.4em;
 max-width: 40em;
}
div.keyword.pile code {
 float: left;
 width: 25%;
}
div.keyword5.pile code {
 float: left;
 width: 20%;
}
div.operator.pile code {
 float: left;
 width: 16%;
}
div.end-pile {
 clear: both;
}

code {
 /* including code.t, meaning "terminal" or "token" */
 font-weight: bold;
 color: #555555;
}
span.nt {
 /* nonterminal */
 font-family: Times New Roman, Times, FreeSerif, serif;
 font-style: italic;
}
span.geq {
 font-weight: bold;
} /* grammar equal-sign, like "::" */
span.grhsmod {
 /* right-hand side modifier, like "one of", "but not" */
 font-weight: bold;
 color: #555555;
}
span.grhsannot {
 /* right-hand side annotation, like "[empty]" */
 font-family: Helvetica, Arial, Liberation Sans, sans-serif;
 font-size: smaller;
}
span.chgloss {
 /* gloss for a character, like "asterisk" */
 font-style: italic;
}
span.gprose {
 font-family: Helvetica, Arial, Liberation Sans, sans-serif;
 font-size: 90%;
}

div.gsumxref {
 /* grammar summary cross-reference, used in Annex A */
 width: 8em;
 float: right;
}

span.prod {
 margin-left: 5pt;
 margin-right: 5pt;
}

div.rhs > code.t,
div.rhs > span.nt,
div.rhs > span.grhsannot,
div.rhs > span.grhsmod,
div.rhs > span.chgloss,
div.rhs > span.gprose,
div.rhs > var,
span.prod > span.geq,
span.prod > code.t,
span.prod > span.nt,
span.prod > span.grhsannot,
span.prod > span.grhsmod,
span.prod > span.chgloss,
span.prod > span.gprose,
div.rhs > var {
 margin-left: 5pt;
}

div.rhs > code.t:first-child,
div.rhs > span.nt:first-child,
div.rhs > span.grhsannot:first-child,
div.rhs > span.grhsmod:first-child,
div.rhs > span.chgloss:first-child,
div.rhs > span.gprose:first-child,
div.rhs > var:first-child,
span.prod > span.geq:first-child,
span.prod > code.t:first-child,
span.prod > span.nt:first-child,
span.prod > span.grhsannot:first-child,
span.prod > span.grhsmod:first-child,
span.prod > span.chprose:first-child,
span.prod > span.gprose:first-child,
span.prod > var:first-child {
 margin-left: 0;
}

ul > li {
 list-style-type: disc;
}

/* Procedures */
ol.proc > li {
 list-style-type: decimal;
}
ol.proc > li > ol.block > li {
 list-style-type: lower-latin;
}
ol.proc > li > ol.block > li > ol.block > li {
 list-style-type: lower-roman;
}
ol.proc > li > ol.block > li > ol.block > li > ol.block > li {
 list-style-type: decimal;
}
ol.proc > li > ol.block > li > ol.block > li > ol.block > li > ol.block > li {
 list-style-type: lower-latin;
}
ol.proc > li > ol.block > li > ol.block > li > ol.block > li > ol.block > li > ol.block > li {
 list-style-type: lower-roman;
}

/* Bibliography */
ol.bibliography {
 margin-left: 0;
}
ol.bibliography > li {
 margin-left: 3em;
 list-style-type: none;
 margin-bottom: 1.1em;
}
ol.bibliography > li > span.num {
 float: left;
 margin-left: -3em;
 width: 2.5em;
 text-align: right;
}

@media print {
 html {
  padding-left: 0;
  padding-right: 0;
 }

 body {
  max-width: none;
  background-color: transparent;
  color: black;
  font-size: 10pt;
  line-height: inherit;
 }

 h1 span.secnum {
  width: auto;
  margin-left: 0;
  text-align: inherit;
  float: none;
 }

 a:link,
 a:visited {
  color: inherit;
  text-decoration: none;
 }

 code,
 pre,
 span.errorname,
 span.grhsmod,
 a:link b,
 a:link span.value,
 a:link span.this,
 a:link span.libname,
 a:link span.errorname,
 a:link code,
 a:visited b,
 a:visited span.value,
 a:visited span.this,
 a:visited span.libname,
 a:visited span.errorname,
 a:visited code,
 .toc span.secnum a:link,
 .toc span.secnum a:visited,
 figure figcaption {
  color: inherit;
 }

 table.real-table td,
 table.real-table th {
  border: 0.2pt solid black;
 }

 div.note {
  font-size: 9pt;
 }

 @page :left {
  margin-top: 1.25in;
  margin-bottom: 0.375in;
  margin-left: 0.5in;
  margin-right: 1.0in;
 }

 @page :right {
  margin-top: 1.25in;
  margin-bottom: 0.375in;
  margin-left: 1.0in;
  margin-right: 0.5in;
 }
}