/*
body { margin: 1em; font-size: 11pt; background: url(bg2.gif) scroll; 
       background-color: linen; }
*/

body { margin: 1em; font-size: 11pt; background: url(backgrounds/y8080.png) scroll; 
      background-color: linen; }
* { quotes: "\201C" "\201D" "\2018" "\2019" }
.tbd { color: red; }
.vcpp { color: green; font-style: italic; }

a:hover { color: red; }
p { text-indent: 0em; }
tt { font-size: 100%; font-width: narrow; }
tt.title { font-size: 133%; }
h1 { text-align: center; font-size: 200%; margin: 1em 0 0 0; }
h1.section { margin: 1em 0 1em 0; }
h2 { font-weight: bold; font-size: 150%; }
h3 { font-weight: normal; font-size: 125%; font-family: sans-serif; }
ul li { margin-bottom: 1em; }
div.tbd li { margin-bottom: 0em; }
ul.intro { list-style-type: circle; }
ul.intro li { margin-bottom: 0em; }
dd ul.compact { margin-left: -1.5em; }
dd ul.compact li { margin-bottom: 0em; }
dl.markups dt { margin-top: 0.75em; }

blockquote { margin-left: 1em; }
code { color: navy; font-size: 95%; }
code.display { display: block; white-space: pre; font-size: 85%; 
               border: solid thin black; padding: 0 .5em; background: #fafae8;
               margin-left: 0.0em; margin-top: 0em; }
code.inlineName { font-size: 133%; color: black; }

div#author { font-weight: bold; text-align: center; margin: 0 0 1.5em 0; }
div#footer { font-size: 75%; font-style: italic; }
div#intro { margin: 1em; }
div#intro h2 { margin-left: -1em; }
div#content { margin: 1em; }
div#content h2 { margin-left: -1em; }
/*
div.menu { color: maroon; font-family: monospace; font-size: 80%; margin: 0.5em 1em; margin-left: 2em; text-indent: -1em; }
*/
div.menu { color: maroon; font-family: monospace; font-size: 80%; margin: 1em 1em 1em 2em; text-indent: -1em; }
span.menu { color: maroon; font-family: monospace; font-size: 80%; }
span.menu:before { color: black; content: open-quote; font-family: serif; }
span.menu:after  { color: black; content: close-quote; font-family: serif; }

span.dialog { 
  color: black; 
  background-color: #ccc;
  font-family: Tahoma; 
  font-size: 80%; 
  padding: 0 0.25em;
  border-style: solid;
  border-width: 1px;
  border-color: #eee black black #eee;
}

span.keypress {
  font-family: sans-serif;
  font-size: 90%;
}

span.term { font-weight: bold; font-style: italic; }
span.metacode { color: blue; font-style: italic; }