body {
    background-color: #F9F9F4;
    border: 0;
    margin: 0;
    color: #111;
    font-family: "Lucida Grande", "Lucida Sans", Georgia, Arial, serif;
    font-size: 90%;
    line-height: 1.5em;
    text-align: center;
}
h1, h2, h3 {
    color: #222;
    font-family: Helvetica, sans-serif;
    line-height: 1.2em;
    margin: 0.2em 0 0 0;
    padding: 0;
}
h1 {letter-spacing: -0.05em;}

p  {margin-top: 0.25em; margin-bottom: 1em;}
ul {list-style: square;}
li {margin-bottom: 0.25em;}

a {color: blue;}
a:hover {color: #FFF; background: #527BBD; text-decoration: none;}
a:visited {color: maroon;}
a:visited:hover {color: #FFF; background: #527BBD; text-decoration: none;}
.b {font-weight: bold;}

img {border: 0;}
.imgl {float: left;  border: 1px solid #555; margin-top: .5em; margin-right: 1em; margin-bottom: 1em;}
.imgr {float: right; border: 1px solid #555; margin-left: 1em;  margin-bottom: 1em;}

#wrap {width: 728px; margin: 0 auto; padding: 0; text-align: left;}
#byline {margin: 0; font-size: 95%;}
#footer {clear: both; margin: 0; font-size: 95%;}

#left {float: left; width: 480px;}
#side {padding: 10px 0 0 0; background-color: #F9F9F4; float: right; width: 225px; font-size: 87%;}

.str { color: #800; }
.kwd { color: #008; }
.com { color: #080; }
.typ { color: #000; }
.lit { color: #066; }
.pun { color: #660; }
.pln { color: #000; }
.tag { color: #008; }
.atn { color: #606; }
.atv { color: #080; }
.dec { color: #606; }

pre.prettyprint {
    padding: 2px;
    border-top: 1px dotted #333;
    border-bottom: 1px dotted #333;
    font-family: monospace;
    overflow: auto;
    background-color: #eee;
    line-height: 1.3em;
    /*font-size: 80%;*/
    font-size: 98%;
}

@media print {
  .str { color: #060; }
  .kwd { color: #006; font-weight: bold; }
  .com { color: #600; font-style: italic; }
  .typ { color: #404; font-weight: bold; }
  .lit { color: #044; }
  .pun { color: #440; }
  .pln { color: #000; }
  .tag { color: #006; font-weight: bold; }
  .atn { color: #404; }
  .atv { color: #060; }
}

.no {
    color: #999;
    margin-right: .5em;
}

p.intro {
    font-family: Georgia, "Times New Roman", Times, serif;
    font-size: 18px;
    font-size: normal;
    font-weight: normal;
    line-height: 1.4em;
}

span.drop {
    display: inline;
    float: left;
    margin: 0;
    padding: 0.25em 0.08em 0 0;
    #padding: 0.25em 0.08em 0.2em; 0.00em;
    -padding: 0.25em 0.08em 0.4em 0.00em;
    color: #444;
    font-size: 3.2em;
    line-height: 0.4em;
    text-transform: capitalize;
}