/* sbiisGG.css styles for
   HyperEnotationGG.html + CascadingEnotationGG.html
   planB.css corresponding stylesheet improves on this */
body { background-color: #0066aa; margin: 0; }
#main { width: 640px; background-color: #f3f3f3; 
  padding: 2px 15px 10px; }
h4 { margin-bottom: 15px; }
p { margin: 15px 0; }
p.motto { font-style: italic; text-align: right; margin: -5px 5px; }
p.motto cite { font-style: normal; line-height: 160%; }
.center { text-align: center; }
.center img { border: solid 1px blue; margin: 10px auto 15px; }
code { margin: 0 1px; }
.old { color: #900000; }
pre { margin: 20px 0; }
pre, pre b { font: 14px/130% 'Courier New', monospace; }
pre b, code b { font-weight: normal; }
b.nest, .nest b { margin: 0 1px; }
.Hyp { color: #000080; }
.Hyp b.nest { color: #0000cc; }
.Hyp .nest b { color: #0033ff; }
.Ups { color: #660033; }
.Ups b.nest { color: #990022; }
.Ups b.nest b { color: #bb0000; }
.Arr { color: #006600; }
.Arr b.nest { color: #009900; font-weight: bold; }
.Arr .nest, .Arr .nest b { margin: 0 1px; }
.Arr .nest i { font-weight: normal; }
.Beaf { color: #800000; }
.Test { color: #005555; }
.Test b { color: #007777; }
.rep, .dot, .set { color: #cc00cc; }
i.rep, i.regex { margin-right: 2px; }
i.regex { color: #9900cc; font-size: .9em; margin-left: -1px; }
i.dot { font: 1.1em/125% 'Courier New', monospace; margin: 0 1px; }
i.set, i.is, i.regex { font-style: normal; }
i.is { margin: 0 1px; }
.sub, .err { color: #ff0000; }
b.sub { font-size: .85em; margin-right: 1px; }
sup { line-height: 100%; }
.pp { color: #996666; }
b.pp { margin: 0 1px 0 2px; }
b.logic { color: #999999; font: bold 1.2em/90% 'Courier New', monospace;
  margin: 0 4px; }
.norm, .ord { color: #000000; }
span.note { color: #666666; font: 13px Arial, sans-serif;
  margin-left: 3px; }
span.note b { margin: 0 1px; }
em, dfn { margin-right: 1px; }
abbr { font-variant: small-caps; }
span.long { white-space: nowrap; line-height: 108%; } /* Ebug margin-right */
span.long code { background-color: #f3f3f3;
  font: 12px 'Courier New', monospace; letter-spacing: -1px;
  padding: 1px 2px 1px 0; margin-right: 2px; }
a:link { color: #0000ff; }
a:visited { color: #990099; }
a:hover { color: #ff0000; }
a:active { color: #cc00cc; }
a.perm { font-size: 1.5em; line-height: 100%; margin-right: 7px; }
h2 a.perm { font-size: 1.2em; display: none; }
h4 a.perm { font-size: 1.5em; }
@media print {
  span.long { display: none; }
  a { color: #f00080; text-decoration: none; }
  a.perm { display: none; }   /* #permalink preceding chapter */
}