html {
  font-size: 110%;
}

code {
  font-family: monospace;
  font-size: 120%;
}

#container {
  width: 920px;
  margin: 0 auto;
}

pre {
  margin: 1em;
  padding: 1em;
  background: #eeeeee;
  font-size: 120%;
}

pre.code {
  background: #ffffff;
  font-size: 120%;
  border: 1px solid #cccccc;
  padding: 1em 0 1em 1.5em;
  border-width: 0 0 0 1em; 
}

div.tipbox {
  margin: 1em;
  padding: 1em;
  border: 1px solid #ccc;
}