body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  background-color: #f1f2f3;
}
a { text-decoration: none; }
blockquote { background-color: white; }
h1 { float: left; }
hr { height: 1px; }
code { font-family: monospace; font-size: small; }
pre { background-color: #dddddd; }
address { text-align: right; font-size: small; }

#lang_navi { text-align: right; }
#last_update { text-align: right; }
#sitesearch { float: right; }

.bash {
}
.c {
}
.javascript {
}
.ruby {
}
.perl {
}
.python {
}
.java {
}
.common-lisp {
}
.emacs-lisp {
}
.scheme {
}
.tex {
}
.prolog {
}

.comment { font-size: x-small; }

.warning {
  margin: 1em;
  padding: 1em;
  border: 1px solid red;
  background-color: #ffffcc;
}
.notice {
  margin: 1em;
  padding: 1em;
  border: 1px solid yellow;
  background-color: #ffffcc;
}