
/* --------------- basics --------------- */

html, body {
  background: #fff;
  color: #000;
  font-family: trebuchet, helvetica, geneva, arial, sans-serif;
  font-size: x-small;
  padding: 0;
  margin: 0;
  font-size: small;
  }

a {
  background: transparent;
  color: #333;
  text-decoration: none;
  }

a:link, a:visited {
  border-bottom: 1px dotted #333;
  }

a:active {
  border-bottom: 1px dotted #333;
  color: #333;
  }

a:hover {
  border-bottom: 1px solid #333;
  color: #333;
  }


/* --------------- header --------------- */

#header {
  background: #eee;
  border: 1px #333 dashed;
  color: #000;
  margin: 10px;
  padding: 7px 15px;
  }

#header h1 {
  background: transparent;
  color: #666;
  font-size: 16px;
  font-weight: bold;
  }

#header h2 {
  background: transparent;
  color: #666;
  font-size: 10px;
  font-weight: normal;
  }



/* -------------- left nav -------------- */

#nav {
  float: left;
  font-size: xx-small;
  margin: 0 0 0 10px;
  padding: 0;
  width: 200px;
  voice-family: "\"}\"";
  voice-family: inherit;
  font-size: x-small;
  width: 190px;		/* the correct value */
  }

#nav h1 {
  background: transparent;
  color: #333;
  font-size: 12px;
  text-transform: uppercase;
  }

#nav ul {
  line-height: 1.5em;
  margin-left: 0;
  padding-left: 0;
  }

#nav ul li.baselist {
  list-style-type: none;
  padding-bottom: 1em;
  }

#nav ul li ul li {
  list-style-type: none;
  padding-left: 3em;
  text-indent: -1em;
  }


/* ------------ main content ------------ */

#content {
  border-left: 1px solid #666;
  margin: 0 0 0 210px;
  padding: 10px;
  font-size: 11px;
  color: #444;
  }

#content h2 {
  background: transparent;
  border-bottom: 1px dashed #555;
  border-left: 5px solid #555;
  color: #555;
  font-size: 14px;
  font-weight: bold;
  margin-top: 30px;
  padding: 2px 0 3px 6px;
  text-align: left;
  text-transform: uppercase;
  }


/* ------------- decoration ------------- */


p {
  margin: 10px;
  }

.tip {
  background: #FCC;
  font-size: 10px;
  color: #333;
  }

.note {
  background: #CCF;
  font-size: 10px;
  color: #333;
  }
