body { 
       padding: 0;
       margin: 0;
     }

p, img {
    margin: 0.5em; 
  }
  
p.news
  { 
    text-indent: -2em; 
    margin-left: 2.5em;
  }

hr
  {
    width: 40%;
    height: 1px;
    margin: 0.5em auto;
  }


/* global page heading */
h1 { 
     font-weight: lighter;
     border-top: 1px solid gray; 
     border-bottom: 1px solid gray; 
     margin-left: 1.5em; 
     margin-right: 1.5em; 
     margin-top: 0.5em;
     text-align: center;
     cursor: default;
   }

/* local headings (in main menu so far) */
h2, h3 { 
     text-align: left; 
     margin-bottom: 0.25em;
     margin-top: 0.5em;
     margin-left: 1em; 
   }

h2 { 
   font-size: 120%; 
}


/* navigation... heh :) would be div.navi or something to be honest */
h4 { 
     text-align: right; 
     background-color: #ccc;
     margin: 0;
     padding: 0.1em 0.5em;
     font-size: 60%; 
     border-bottom: 1px solid #444;
   }
h4.bottom {
     border-bottom: 0;
     border-top: 1px solid #444;
   }

/* padded blocks */
.panel { 
  margin: 0.5em;
  margin-left: 0.25em; 
  margin-right: 0.25em;
  padding: 0.5em;
  border: outset 2px;
 }

.flat { 
  margin: 0.5em 0.25em; 
  padding: 0 0.5em;
  border: 0;
 }

/* pastel backgrounds */
.yellow {
  background-color: #fffff0; 
  border: 1px solid #ffa; 
  }
.magenta {
  background-color: #fff8ff; 
  border: 1px solid #faf; 
  }
.red {
  background-color: #fff8f8; 
  border: 1px solid #faa; 
  }
.cyan {
  background-color: #f0ffff; 
  border: 1px solid #aff; 
  }
.green {
  background-color: #f0fff0; 
  border: 1px solid #afa; 
  }
.blue {
  background-color: #f0f0ff; 
  border: 1px solid #aaf; 
  }

/* lists... that's it */
ul,dl { 
     margin-top: 0;
   }

dl { 
     margin: 0 0.5em 0.25em 0.75em;
   }
   
ul ul {
  list-style: bullet;
}

ol { 
     margin-top: 0;
     list-style: roman-alpha;
   }

li,dt,dd {
     margin-top: 0.25em;
   }
dd {
  margin-bottom: 0.75em;
}

/* nice underline for a title */   
span.note { cursor: default;
            border-bottom: 1px dashed #888; }

p.note, div.note
 {
   margin: 0.5em;
   margin-left: 0.25em; 
   margin-right: 0.25em;
   padding: 0.5em;
   border-left: 1px solid gray;
   width: 30%; 
   font-size: 80%;
   float: right;
 }

.example { font-size: 80%; }
.nb { font-size: 90%; 
      font-style: italic;
      margin: 0 2em 0.25em 2em;
    }
 
.left { float: left; }
.right { float: right; }

.clean { clear: both }

.nobr { white-space: nowrap }

.center { text-align: center; }

.hr { list-style: none; }

pre { text-align: left; }