body {
  margin: 10px;
  padding: 0px;
  font-family: sans-serif;
  line-height: 1.5em;
  text-align: center;
}

/* hide old stuff */
.legacy {
  display: none;
}

/**************************
 * layout              
 **************************/
table#frame  {
        width: 950px;
        margin: 10px auto;
        border-collapse: collapse;
        text-align: left;
}

table#frame > tr > td {
        vertical-align: top;
        margin: 0px;
        padding: 0px;
}


/**************************
 * body              
 **************************/
div#body {
  margin-left: 40px;
  margin-right: 6px;
  margin-bottom: 40px;
  margin-top: 60px;
}

div#body h1 { 
  color: #717fe5;
  margin-top: 0px;
  margin-bottom: 0.5em;
  padding-bottom: 0.1em;
  line-height: 1em;
  font-size: 220%;
  border-bottom-style: solid;
  border-bottom-width: 4px;
  border-bottom-color: #808080;
}

div#body h2 { 
  margin-top: 0.6em;
  margin-bottom: 0.1em;
}


div#body a {
  color: #4a71e4;
}

div#body a[name] {
  color: black;
}

div#body a:hover {
  color: #7b9dff;
}

div#body h2 a,
div#body h3 a,
div#body h4 a,
div#body h5 a,
div#body h2,
div#body h3,
div#body h4,
div#body h5 {
  color: #606060;
}

div#body dl dd {
  margin-left: 1.5em;
}

div#body dl dt {
  padding-top: 1em;
  font-weight: bold;
}

div#body dl dt a {
  text-decoration: none;
}

div#body dl p {
  margin-bottom: 0.2em;
  margin-top: 0.2em;
}
 
div#body pre {
  border-style: solid;
  border-color: #bfbfbf;
  border-width: 1px;  
  background-color: #E8E8E8;
  padding: 1em;
}

div#body pre a{
  color: black;
}

div#googlead_right {
  background-color: white;
  float: right;
  width: 200px;
  margin-top: 5px;
  padding-left: 20px;
  margin-left: 20px;
  padding-right: 0px;
  padding-bottom: 10px;
}

/**************************
 * footer
 **************************/
table#frame td#footcell {
  padding-left: 40px;
}

div#address  {
}

div#address small {
  color: #202020;
  font-size: 90%;
}

div#address a {
  color: #202020;
  text-decoration: none;
}

/**************************
 * logo
 **************************/

div#logo {
  float: right;
  height: 78px;
  width: 190px;
  background-image: url("rrdtool-3dlogo.png");
}

/**************************
 * rrdworld
 **************************/

div.rrdworld h3 {
  background: #E0E0F0;
  margin-top: 0.1em;
  margin-bottom: 0.3em;
  padding: 3px;  
}

div.rrdworld {
  border-style: solid;
  border-color: #bfbfbf;
  border-width: 1px;  
  background-color: #D0D0D0;
  padding: 1em;
  margin-top: 0.5em;
  margin-bottom: 1em;
}


/**************************
 * mirrors
 **************************/

div#mirrors {
  float: left;
  padding: 3px;
  padding-left: 40px;
  font-size: 10px;
}

div#mirrors,
div#mirrors a {
  color: #606060;
}


/**************************
 * menu              
 **************************/
table#frame td#leftcornercell,
table#frame td#menucell {
  width: 10%;
  background-color: #F0F0F0;
}

div#menu {
  font-weight: normal;
  margin-top: 20px;
  margin-left: 10px;
  margin-right: 10px;
  font-size: 14px;
  width: 200px;
  line-height: 1em;
}

div#menu li {
  padding-top: 4px;
  padding-bottom: 4px;
  border-top-style: dotted;
  border-top-width: 1px;
  border-top-color: #444;
}

div#menu li li {
  padding-top: 3px;
  padding-bottom: 3px;
  border-top-color: #ccc;
}

div#menu a {
  color: black;
  text-decoration: none;
}

div#menu ul ul a {
  color: black;
  text-decoration: none;
}

div#menu ul {
  list-style: none;
  margin-left: 0px;
  padding-left: 0px;
}

div#menu ul ul { 
  padding-left: 10px;
  font-size: 12px;
}

div#menu ul a,
div#menu ul div.selected {
  padding-left: 0px;
}

div#menu ul ul {
  margin-top: 3px;
}

div#menu > ul {
  border-bottom-style: dotted;
  border-bottom-width: 1px;
  border-bottom-color: #888;
}

div#menu ul ul ul li {
  padding-left: 1em;
}

div#menu a:hover {
  color: #5c5b8a;
}

div#menu a:active {
  color: #373672;
}

div#menu li div.selected {
  color: 1d255f;
  font-weight: bold;
}