span.AA {
  font-family: monospace;
}
span.filename {
  font-family: monospace;
  color: #006400 ;
}
span.command {
  font-family: cursive;
  color: #00008b ;
}
var { 
  color: #cc0033 ;
}
ins {
  text-decoration: none;
  font-family: sans-serif;
}
h1 {
  text-align: left;
  font-family: sans-serif;
  font-size: large;
}
div.iteminfo {
  text-align: right;
}

#top a {
  width: 99px;
  // add 1 entry for top menu
}
#top2 {
  margin: 0 auto 0 auto; width: 715px; font-style: italic;
}

#twitter_div {
  border: solid 1px ;
  font-size: xx-small;
}