/* @import url("http://www.w3.org/StyleSheets/TR/W3C-REC.css"); */
/* @namespace svg url("http://www.w3.org/2000/svg"); */

body {
  padding: 0 0 0 1em;
  margin: 0;
  font-family: sans-serif;
  font-size: 12pt;
  color: black;
  background: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}
:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
a:active { color: #C00; background: transparent }

a:link img, a:visited img { border-style: none }

h1, h2, h3, h4, h5, h6 { text-align: left }
h1, h2, h3 { color: #005A9C; background: white }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }

.hide { display: none }

@media screen {  /* hide from IE3 */
a[href]:hover { background: #ffa }
span[onclick]:hover { background: #eee; }
}
span[onclick] { border: outset 2px; background: #ddd; font-size: 8pt; padding: 1pt 3pt 1pt 3pt; }

pre { margin-left: 2em }
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }

pre, code { font-family: monospace } /* navigator 4 requires this */

a.smallconstraint { text-decoration: none; color: blue; }
a.app { text-decoration: none; }
sub { font-size: 8pt; }
sup { font-size: 8pt; }
.smallprint { font-size: 8pt; }
.app { color: purple; }
.smallconstraint { color: blue; }
.constraint { color: brown; }
.type { color: green; }
.expansion { color: red; }
.substitution { color: black; }
.term { font-family: monospace; }
.term:hover { font-weight: bold; }
table.syntax { background-color: #eeeeee; border: outset 2px; }
td.langName { padding-right: 10px; }

text {
 font-family: Lucida Sans Unicode, sans-serif;
 font-size: 10;
 text-anchor: middle;
 dominant-baseline: middle;
}
line {
 fill: none;
 stroke: black;
 stroke-width: 1;
}
path[class="flowline"] {
 stroke: red;
 stroke-width: 1;
 fill: none;
}
path[class="flowhead"] {
 stroke: red;
 stroke-width: 1;
 fill: red;
}

span.overbar {
 border-top: 1px;
 border-top-style: solid;
 border-top-color: black;
}

span[class="rterm"] { font-weight: bold; }

blocknode {
 display: block;
/*
 border-left: 2px solid black;
 border-top: 2px solid black;
 border-bottom: 2px solid black;
 padding: 2px;
*/
}
blocknode > span[class="paren"] {
 display: none;
}
blocknode > span[class="arg"] {
 display: inherit;
 margin-left: 20px;
}
blocknode > span[class="op"] {
 display: inline;
}

inlinenode {
 display: inline;
}
inlinenode > span[class="paren"] {
 display: inherit;
}
inlinenode > span[class="arg"] {
 display: inherit;
}
inlinenode > span[class="op"] {
 display: inherit;
}