/* Sizes ============================================================= */

body, td {
  font-size:   14px;
  line-height: 130%;
  padding: 0;
  margin: 0;
}
body { width: 798px; } 
pre {
  font-size: 50%;
  line-height: 100%;
}
.toc td {
  font-size:   32px;
  line-height: 120%;
}
h1, h2, h3, h4, h5, h6 { 
  line-height: 100%;
}
h1 { font-size: 48px; }
h2 { font-size: 90%; }
h3 { font-size: 80%; }
td { font-size: 24pt; }
.page {
  font-size:      24pt;
  padding: 0;
  padding-left:   20px;
  padding-right:  20px;
  line-height:    130%;
  width:          756px;
  height:         509px;
}
.page tt, pre { font-size: 75%; }
.header,.footer {
  height: 20px;
  margin: 0;
  width: 100%;
  padding-left: 15px;
  padding-right: 15px;
}
.header { height: 60px; }
.footer { height: 27px; }
.header-text { font-size: 140%; }
.header-links { font-size: 14px;  width: 20%; }
.footer-text { font-size: 80%; }
.big { 
  font-size: 36px;
  line-height: 120%;
 }
.medium {
  font-size: 28px;
  line-height: 120%;
}
.small {
  font-size: 22px;
  line-height: 120%;
}
.small td {
  font-size: 22px;
  line-height: 120%;
}
.centeredsmall {
  font-size:    16px;
  line-height:  100%;
}
.smallright {
  font-size:    16px;
  line-height:  100%;
}
.code {
  font-size:    20px;
  line-height: 120%;
  padding:    0.5em;
}
.smallcode {
  font-size:    12px;
  line-height:  140%;
  padding:    0.5em;
}
.reallysmallcode {
  font-size:    8px;
  line-height:  140%;
  padding:    0.5em;
}


/* Colors ============================================================ */

body {
  background:     #ffffff;
}
h1, h2, h3, h4, h5, h6 { 
  color: #990000;
}
a {
  text-decoration: none;
}
body a:link { color: #c00000; }
body a:visited { color: #c02020; }
body a:hover { color: #c02020; }
.page {
  border: 1px dotted gray;
  background:     #ffffff;
}
.header,.footer {
  background: #882020;
  color: #ff8080;
}
.header {
  border-bottom:  2px solid #990000;
}
.footer {
  border-top:     2px solid #990000;
}
.header a:link    { color: #ff8080; }
.footer a:link    { color: #ff8080; }
.header a:visited { color: #ff8080; }
.footer a:visited { color: #ff8080; }
.header a:hover   { color: #ffaaaa; }
.footer a:hover   { color: #ffaaaa; }
.mark {
  border: 1px solid red;
}
.code {
  background: #ffdddd;
  border:     2px solid #770000;
}
.smallcode,.reallysmallcode {
  background: #ffdddd;
  border:     2px solid #770000;
}
.demo {
  border: 3px solid black;
  padding: 3px;
}

/* Other ============================================================= */

h1 {
  text-align: center;
}
.link{font-variant: small-caps; }
.hilite {
  text-decoration: underline;
}
.page {
  font-family:    Helvetica;
}
.header-links,.footer-links {
  text-align: right;
}
.header-links img {
  border: 0px; 
}
.header-text {
  font-family:  Arial,Helvetica;
  font-weight:  bold;
  text-align:   left;
}
.footer-text {
  text-align: right;
  font-style: italic;
}
.smallright {
  float: right;
  vertical-align: top
}
.centered { 
  text-align: center;
}
.centeredsmall { 
  text-align: center;
}
.imagetable table,tr,td,img {
  border: blue solid 0px;
  padding: 0px;
  margin: 0px;
}
.imagetable a:visited, a:link {
  color:  white;
  border: blue solid 0px;
  outline: 0; 
}
.hidden { display: none; }