a:link { color: #008888; }
a:visited { color: #004466; }
h1 { color: #990; margin-top: 3em; }
h2  { color: #ccc; }
h3  {  }
h4 { font-weight: bold; }
h4 strong { color: #80b0e1; font-weight: normal; }
pre.code { font-size: medium; font-family: "Courier New", Courier, Monaco, monospace; line-height: 0.7em; background-color: #efe; padding: 15px; border: dotted 1px #ccc; overflow: auto; /* for IE */ _overflow: scroll; width: 80%; height: 12em; margin-bottom: 2em; }
pre strong { color: #80b0e1; font-weight: normal; }
.button_download { background-color: #dfd; margin-left: 20px; padding: 2px 15px 3px; border: dotted 2px #2dd5c0; }