/*p, li {
  line-height: 1.8em;
}
h1, h2 {
  font-family: "Trebuchet MS", Verdana, sans-serif;
  margin: 0 0 10px 0;
  letter-spacing: -1px;
}
h1 {
  padding: 0;
  font-size: 3em;
  color: #333;
}
h2 {
  padding-top: 10px;
  font-size: 2em;
}
pre {
  font-size: 1.2em;
  line-height: 1.2em;
  overflow-x: auto;
}
div#page {
/*  width: 900px;
*/
/*background-color: #fff;
  margin: 0 auto;
  text-align: left;
  border-color: #ddd;
  border-style: none solid solid;
  border-width: medium 1px 1px;
}
div#container {
  padding: 20px;
}*/