/*************** GENERAL ***************/
html{
  font-family: 'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
  font-size: 18px;
  line-height: 1.5;
}
body {
  background: #ffffff;
  color: #000000;
  margin: 0px;
}
del {display: none; }
ins {text-decoration: none;}
#logo {
  margin: 10px;
}
dfn{
  font-style: normal;font-weight:bold;color:#456;
  /*text-decoration:underline;
  text-decoration-style: dashed;
  text-decoration-thickness: 1px;
  text-decoration-width: 1px;*/
  border-bottom:1px dashed #aaaaaa;
}
.navheader, .navfooter {
  margin: 10px;
}

a {text-decoration: none;}
a.xref::before {content: '§';}
span.emphasis{
color:#456; font-weight:bold;
/*text-decoration:underline;text-decoration-style: dashed;
border-bottom:1px dashed currentColor;
font-weight:bold;font-style:normal;*/
}
/*************** BOOK-LEVEL ***************/

div.book, div.legalnotice, div.preface, div.appendix, div.index {
  margin: 36px;
}

/* Style the book title, edition, and authors like in the FO */
div.book div.titlepage h1.title {
  font-size: 30pt;
  color: #1890ff;
  text-align: center;
  line-height: 100%;
}
div.book div.titlepage p.edition {
  font-size: 26pt;
  font-style: italic;
  color: #1890ff;
  text-align: center;
  line-height: 100%;
}
div.book div.titlepage h3.author {
  font-size: 22pt;
  text-align: center;
}
div.book div.titlepage h4 {
  text-align: center;
}

/* "Table of Contents" and "List of Examples"*/
div.book div.toc p, div.book div.list-of-examples p {
  font-size: 18pt;
}


/**************** CHAPTER-LEVEL ***************/

/* Chapter-level TOCs */
div.chapter div.toc {
  position: absolute;
  left: 10px;
  top: 160px;
  width: 250px;
}

/* Don't indent subsection titles in the left-hand TOC too much */
div.chapter div.toc dd {
  margin-left: 10px;
  border: 0px solid blue;
}

div.chapter {
  margin-left: 300px;
  margin-right: 72px;
}

div.chapter h2, div.chapter h3, div.chapter h4 { 
  margin-top: 36px;
  margin-left: -36px;
  color: #1890ff;
}


/*************** PARAGRAPHS, EXAMPLES, AND PROGRAMS ***************/

p.norm-error {
  font-weight: bold;
}

p.note {
  font-style: italic;
}

div.example, div.informalexample {
  margin-left: 36px;
  margin-right: 36px;
  margin-top: 10px;
  padding-left: 10px;
  padding-right: 10px;
  border: 1px solid #789abc;
}

pre.programlisting, pre.screen {
  padding-left:18px;
  border-left:2px solid #1234ff;
  color:#1234ff;font-family:Consolas;
  line-height:24px;
  background-image:repeating-linear-gradient(to bottom,#ffeef8 0,#ffeef8 24px,white 24px,white 48px);
}

/* The default left margin for list items is excessive */
ol li { margin-left: -20px; }
ul li { margin-left: -20px; }


/*************** GRAMMARS ***************/

div.productionset {
  font-family: Consolas;
  padding: 0 10px;
  margin-bottom: 10px;
  border: 1px solid #ab12ff;
  color: #8912ff;
}

div.production {
  font-style: italic;
  margin-top: 8px;
  margin-bottom: 8px;
}

div.production code.literal {
  font-style: normal;
}

div.production-note, div.productionrecap-note {
  font-style: italic;
  padding-top: 8px;
  padding-bottom: 8px;
}

div.rhs {
  margin-left: 1em;
}


/*************** JVMS ***************/

/* Emphasize instruction names in list of verification rules */
div.section-verification h5.title {
  font-size: 20px;
  background-color: #f1f2f3;
  padding: 10px;
  margin-bottom: 10px;
  margin-top: 36px;
}

/* Emphasize instruction names in list of bytecodes */
div.section-execution h3.title {
  background-color: lightgray;
  padding: 10px;
  color: #000000;
}

/* The unnumbered sub-instruction sections ("Operation", "Format", "Forms", etc)
   are titled by h4, and should be pulled closer together than normal numbered
   4-deep sections, i.e. undo 36px margin-top desired by div.section h4 */
div.section-execution h4 {
  margin-top: 0px;
}

/* The "Format" section's literallayout needs some room (also ch.7) */
div.literallayout {
  background-color: lightgray;
  font-family: Consolas;
  padding: 0 10px;
  border: 1px solid #986874;
}

/* html.xsl puts a <p> in <div class="literallayout">, which causes
undesirable empty space. The following rule removes the space. */
div.literallayout p {
  margin-top: -20px;
  margin-bottom: 0px;
}

code {color:#ff00bb;font-family:Consolas;}
var {color: #57af68; font-family: Consolas;}
.productionset a:link, code > a:link{color:inherit;}
.productionset a:hover, code > a:hover{color: blue;}

table,th,td {border-collapse:collapse;border:1px solid #ccc;}
th,td{padding:3px 12px;text-align:left;vertical-align:top;}