/*
 * The for values given for border/margin/padding are top/right/bottom/left.
 *
 */

body {
  margin: 180px 10% 3pt 25%;
  font-family: optima, verdana, "lucida sans", arial, helvetica, sans;
  font-size: 10pt;
}

div.header {
  position: absolute; 
  top: 10px;
  left: 8px; 
  width: 95%; 
  height: 160px; 
  color: rgb(20, 40, 200);
  background-color: rgb(255,255,255);
  background-image: url("/img/bblogo.png");
  background-repeat: no-repeat;
  background-position: 100% 5px;
  font-size: 24pt;
  font-variant: small-caps;
  white-space: normal;
}

table.nav {
  position: absolute; 
  top: 180px;
  left: 8px; 
  width: 180px; 
  height: 180px; 
  padding: 2pt 2pt 2pt 2pt;
  color: rgb(20, 40, 200);
  background-color: rgb(225,230,250);
  border: 1pt solid rgb(150,150,210);
  white-space: normal;
}

span.nav_selected {
  font-weight: bold; 
}

a[type="nav"] {
  text-decoration: none;
}

img.flag {
  border: 0px;
  padding: 0px;
}

div.footer {
/*  position: absolute; */
/*  bottom: 12px; */
  padding: 20pt 2pt 2pt 2pt;
  color: rgb(20, 40, 200);
  font-family: optima, verdana, "lucida sans", arial, helvetica, sans;
  font-size: 9pt;
  white-space: normal;
}

div.margin {
  position: absolute; 
  top: auto;
  left: 8px; 
  width: 180px; 
  color: rgb(70, 70, 70);
  font-family: optima, verdana, "lucida sans", arial, helvetica, sans;
  font-size: 9pt;
  white-space: normal;
}

/*
 * pre.code and pre.example are almost the same, but unfortunately we need
 * these two different definitions.  pre.example only has padding at the
 * bottom, and can be used for code examplex that have a title area at the top.
 * We want that area to reach all the way to the top, left, and right edges.
 *
 * Please try to keep pre.code and pre.example synchronized.
 */

pre.code {
  margin: 15pt;
  border: 1pt solid rgb(150,150,210);
  padding: 3pt 3pt 3pt 6pt;
  color: rgb(50,50,150);
  background-color: rgb(225,230,250);
  font-family: courier, monospace;
  font-size: 90%;
  white-space: pre;
}

pre.example {
  margin: 15pt;
  border: 1pt solid rgb(150,150,210);
  padding: 0pt 0pt 5pt 0pt;
  color: rgb(50,50,150);
  background-color: rgb(225,230,250);
  font-family: courier, monospace;
  font-size: 90%;
  white-space: pre;
}

div.pre_title {
  padding: 3pt 6pt 3pt 6pt;
  background-color: rgb(205,210,240);
  font-family: optima, verdana, "lucida sans", arial, helvetica, sans;
  font-size: 120%;
  font-weight: bold;
}

div.smallskip {
  padding: 4pt 0pt 0pt 0pt;
}

div.medskip {
  padding: 8pt 0pt 0pt 0pt;
}

div.bigskip {
  padding: 12pt 0pt 0pt 0pt;
}

span.code {
  font-family: courier, monospace;
}

span.lnr {
  padding: 0pt 10pt 0pt 10pt;
  color: rgb(120,120,200);
  font-size: 80%;
}

dt {
  margin: 8px 1px 1pt 1px;
}

tr.nav {
  margin: 5px 1px 1pt 1px;
  padding: 5px 1px 1pt 1px;
}

a.nav {
  text-decoration: none;
  color: rgb(0,0,200);
}

a.nav:visited {
  text-decoration: none;
  color: rgb(0,0,200);
}

a.code {
  color: rgb(50,50,150);
  font-weight: bold; 
  text-decoration: none;
}

a.code:visited {
  color: rgb(50,50,150);
  font-weight: bold; 
  text-decoration: none;
}