body {
       margin: 0 30px 2em 30px;
       color: #333;
       line-height: 140%;
       font-size: 1.2em;
       }

a:link { color: #0033aa; }
a:visited { color: #66A; }

a:hover { color: #333; }
a:active { color: #000; }

.info {
        font-size: 0.8em;
        background: #FFD;
        border: solid #CCE 1px;
        width: auto;
        padding: 0px 10px 0px 10px;
        margin: 15px 0px 15px 0px;
        }

div.note {
           border: solid goldenrod 2px;
           padding: 0px 10px 0px 10px;
           margin: 10px 0px 10px 0px;
           background: #FFD;
           color: #000;
           }

pre {
      background: #EEE;
      font-size: 1.1em;
      line-height: 1.1em;
      border: dashed #666 1px;
      padding: 15px 20px 15px 20px;
      overflow: auto;
      }

input {
    color: gray;
}