/* main area
----------------------------------------------- */

  body {
    color:#000;
    background:#225 url("body_background_blue3.png");
    font-family: "Bitstream Vera Sans", Verdana, Sans-serif;
    margin:0px;
    padding:0px;
    font-size:1.0em;
/*     height:100%; */
/*     overflow:auto; */
  }

  #base {
    background:url("top_background_blue3.png") repeat-x;
    height:70px;
    width:100%;
    float:left;
  }

  #main {
    margin:1% auto;
/*    margin-right:16%;*/
/*    margin-left:14%;*/
    margin-top:2em;
/*    margin-bottom:1%;*/
/*     padding-top:10px; */
    padding-bottom:10px;
/*     background:#ffd; */
    background-color:#ffe;
    color:#000;
    border:2px solid #000;
    text-align:left;
    width:720px;
  }

/* navigation
----------------------------------------------- */

  ul#nav {
    float:right;
    padding:6px 0px 5px 0px;
    margin:0;
    width:100%;
    list-style-type:none;
    background-color:#fff;
    color:#000;
    border-bottom:1px solid black;
  }

  #nav li {
    float:right;
    display:inline;
    padding:0.0em 0.3em;
    font-size:1.1em;
    font-weight:bold;
  }

  #nav li a {
    text-decoration:underline;
    background-color:#fff;
    color:#228;
  }

  #nav li .div {
    font-size:.8em;
  }

  #nav a:link { color:#42b; background-color:#fff; }
  #nav a:visited { color:#106; background-color:#fff; }
  #nav a:hover, #nav #active a
  {
    text-decoration: overline;
    color:#86f;
    background-color:#fff;
  }

  #rootnav {
    font-size: 2.5em;
    text-align:center;
  }

  #backtotop {
    position: absolute;
    bottom: .5em;
    right: .05em;
  }
  html>body #backtotop {
    position: fixed;
  }

  #tobottom {
    position: absolute;
    top: .2em;
    right: .05em;
  }
  html>body #tobottom {
    position: fixed;
  }

  #rootnav a {color:#ccf; text-decoration: none; }
  #rootnav a:hover { color:#fff; text-decoration: blink; }
  /*a:hover #backtotop { color:#fff; text-decoration: overline; } */

/* Links
----------------------------------------------- */

a {text-decoration: none; }
a:link { color:#42b; }
a:visited { color:#207; }
/* a:hover { color:#86f; text-decoration: underline; } */
a:hover { color:#295; }

/* #content a:link { color:#107; } */
/* #content a:visited { color:#111; } */
/* #content a:hover { color:#86f } */

/* right menus
----------------------------------------------- */

  #menu {
    position:relative;
    width:215px;
    padding:0;
    margin-left:-10%;
/*     margin-right:-1%; */
    right: -12%;
    float:right;
  }

  #menu strong {
    font-size:1.3em;
  }

/*   #menu .subheader { */
/*     padding-top:1em; */
/*     padding-bottom:0; */
/*     margin:0; */
/*     font-style:italic; */
/*     font-weight:bold; */
/*   } */

  #menu .shadow {
    background-color : #111;
  }

  #menu .menus {
    border-style: solid;
    border-color: #111;
    border-width: 1px;
    background:#fff;
    color:#000;
    padding:8px 2px 8px 4px;
    margin-bottom:10px;
    text-align:left;
    font-size:0.8em;
    position:relative;
    left: 3px;
    bottom: 3px;
  }

   #menu p {
    margin: 0.6em 0.1em 0 0.5em;
    padding:0 0 0 1px;
    line-height:1.2em;
  }

  #menu .note {
    font-size: 0.8em;
    background:#efe;
    color:#000;
    border: 1px dotted #000;
    padding:0 0.2em 0 0.5em;
    line-height:1.1em;
  }

/* Search box
------------------------------------------------*/
/* Misc presentation
----------------------------------------------- */

  #content .big {
    border-style: solid;
    border-color: #ffe;
    border-width: 10px 10px 10px 0;
  }

  #content li {
    width:100%;
  }

  #content p:first-letter {
    font-size:1.3em;
  }

  #content .note:first-letter {
    font-size:1.0em;
  }

  #content pre {
    background: #efc;
    margin: 1em;
    padding: 1em 1em 0em 1em;
    border: 2px dotted #ac9;
    font-size: 0.8em;
  }

  #content .note {
    padding:2px 2px 2px 4px;
    line-height:1.1em;
    margin-left:18px;
    margin-right:22px;
    margin-top:5px;
    font-size: 0.8em;
    background:#fff;
    color:#000;
    border: 1px dotted #000;
  }

  #content .section {
    float:left;
    font-size:1.6em;
    font-variant: small-caps;
    padding: .1em 1em .2em 0em;
  }

  .quote {
    padding:0px 20px 0px 30px;
  }
  .quote:first-letter {
    font-size:1.0em;
  }
  .quote a {text-decoration: none; color:#000 }

  #title {
    letter-spacing: 0.1em;
/*     margin-top: 1em; */
    margin-bottom: 18px;
    font-variant: small-caps;
    width: 100%;
  }

  #title h1 {
    font-size: 2.5em;
    padding:5px 10px 5px 10px;
    margin: 0px;
  }

  #breadcrumbs {
    font-size:0.8em;
    padding:2px 4px;
  }

  #search {
    float: right;
  }

  p,h1,h2,h3,h4 {
    margin-top:0px;
    margin-bottom:10px;
    padding:0px 20px 0px 20px;
  }

  dl,pre {
    padding:0px 20px 0px 20px;
  }

  dl dt {
    margin:0.5em 0 0 0;
  }

  h2 {
    font-size:1.3em;
    padding-top:10px;
    margin-bottom:4px;
  }

  h3 {
    font-size:1.1em;
    padding-top:6px;
    margin-bottom:2px;
  }

  h4 {
    font-size:1.0em;
    padding-top:2px;
    margin-bottom:2px;
  }

  img { border-width:0; }

  .booktitle {
    text-decoration: underline;
  }


  .logo {
    float:left;
    position: absolute;
    bottom:10px;
    left:2px;
  }
  html>body .logo {
    position: fixed;
  }


  #footer {
    position:relative;
    float: right;
    top: 1em;
    padding-bottom:1em;
    text-align:right;
    color:#99d;
  }

  #footer a {color:#aae; }
  #footer a:hover { color:#fff; }



/*
----------------------------------------------- */