body, table, textarea {
  font-size:11pt;
}

div#container {
  position:relative;
  width:580px;
  margin-left:auto;
  margin-right:auto;
  padding-right:180px;
}

div#subbar {
  position:absolute;
  width:150px;
  height:auto;
  top:15px;
  right:0px;
  bottom:10px;
  left:auto;
  padding:6px;
  background-color:#c2fff3;
  border-radius:10px; /* CSS3 */
  -moz-border-radius:10px;
}

pre {
  overflow:auto;
}

.source { line-height:10pt; } 
.source .literal { color:#660066; }
.source .comment { color:green; }
.source .keyword { color:blue; }
.source .preprocessor { color:purple; }

div#navbar {
  text-align:center;
}

div#navbar a {
  background-color:#dddddd; 
  padding:3px;
  border-radius:6px; /* CSS3 */
  -moz-border-radius:6px;
}