#access { display: none; }
#menu { display: none; }

body {
     background-color: white;
}

.emph {}

p {
 text-align: justify;
}

h1 { 
  text-align: center;
}

.code { 
  font-family: monospace;
}

div.code { 
  background-color: #ffffe0; /* lightyellow */
  padding: 3px;
  margin: 10px 10px 15px;
  line-height: 1.5em;
}

.code span.kwd {
  font-weight: bold;
}
.code span.ident_const {
  color: #00008b; /* darkblue */
}
.code span.ident_fun {
  color: #00008b; /* darkblue */
}

.code span.ident {
  color: blue;
}
.code span.type {
  color: green;
}

div.code span.exc {
  color: red;
}

table.bnf {
  margin-left: 30px;
}

table.bnf td {
  padding: 0px;
}

table.bnf a {
  color: inherit;
  text-decoration: inherit;
}

table.bnf a:visited {
  text-decoration: inherit;
}

table.bnf span.litt {
  color: maroon;
  font-style:italic;
  font-family:monospace;
}

table.bnf span.term {
  color: blue;
  font-style:italic;
  font-family:monospace;
}

ul.added  {
  margin-top: 0em;
}

ul.added ul {
  padding-bottom: .3em;
}

ul.added li {
  padding-top: .3em;
}