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

body, td {
  font-size:   14px;
  line-height: 130%;
  padding: 0;
  margin: 0;
}
body { width: 800px; } 
pre {
  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: 24px; }
.page {
  font-size:      24px;
  padding: 0;
  padding-left:   20px;
  padding-right:  20px;
  line-height:    130%;
  width:          756px;
  height:         512px;
}
.page pre { font-size: 75%; }
.header,.footer {
  height: 27px;
  margin: 0;
  width: 100%;
  padding-left: 15px;
  padding-right: 15px;
}
.footer { 
  padding-left: 50px;
}
.header-text { font-size: 100%; }
.header-links { font-size: 14px;  width: 20%; }
.footer-text { font-size: 80%; }
.highlight { 
  color: blue;
}
.humongus { 
  font-size: 260px;
  line-height: 80%;
  text-align: center;
 }
.huge { 
  font-size: 120px;
  line-height: 120%;
  text-align: center;
 }
.large { 
  font-size: 72px;
  line-height: 120%;
  text-align: center;
 }
.big { 
  font-size: 36px;
  line-height: 120%;
 }
.medium {
  font-size: 28px;
  line-height: 120%;
}
.small  {
  font-size: 22px;
  line-height: 120%;
}
.tiny  {
  font-size: 16px;
  line-height: 120%;
}
.centered {
  text-align: center;
}
.centered-sm {
  font-size:    16px;
  line-height:  100%;
}
.centered-md {
  font-size:    20px;
  line-height:  100%;
}
.small-right {
  font-size:    16px;
  line-height:  100%;
  text-align: right;
}
pre.code {
  color: #000;
  font-size:    20px;
  font-weight: bold;
  line-height: 120%;
  padding:    0.5em;
}
pre.code-md {
  font-size:    16px;
  font-weight: bold;
  line-height:  120%;
  padding:    0.5em;
}
pre.code-sm {
  font-size:    8px;
  font-weight: bold;
  line-height:  140%;
  padding:    0.5em;
}


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

body {
  color: #00078e;
  background-color: #f3f3f3;
  background-image: url(images/background_gray.png);
  background-position: left;
  background-repeat: repeat-y;
  font-family: Verdana, Arial, Geneva, Helvitica, sans-serif;
}
img.image {
  border: 3px solid #00078e;
  padding: 0px;
  margin: 10px;
}
.page { 
  background-image: url('images/backgroundbits.png');
  background-repeat: repeat-y;
  background-attachment: scroll;
  background-position: top right;
}
h1, h2, h3, h4, h5, h6 { 
}
a {
  text-decoration: none;
}
body a:link { color: #00078e; }
body a:visited { color: #00078e; }
body a:hover { color: #888; }
.page {
  border: 1px dotted 5782b2;
}
.header,.footer {
  color: white;
  background: #00078e;
}
.header a:link    { color: #fff; }
.footer a:link    { color: #fff; }
.header a:visited { color: #fff; }
.footer a:visited { color: #fff; }
.header a:hover   { color: #ccc; }
.footer a:hover   { color: #ccc; }
.mark {
  border: 1px solid red;
}
.code,.code-md,.code-sm {
  background: #eee;
  border:     2px solid #00c;
}
.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,.centered-md,.centered-sm { 
  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; }