2 font-family: Helvetica, Arial, san-serif;
5 background-color: white;
10 color: rgb(34,98,245);
11 text-decoration: none;
15 text-decoration: underline;
38 border-left: 1px #C3C3C3 solid;
40 float:right; /* hack for winie to not choke utterly on the site */
45 position: fixed; /* WinIE doesn't understand this so we can make things right in other browsers. */
49 background-color: rgb(81,118,236);
50 background-image: url(images/bluebanner.png);
51 background-repeat: repeat-x;
52 background-position: top left;
57 padding: 6px 0 8px 8px;
59 letter-spacing: 0.07em;
60 -apple-text-size-adjust: none;
70 .code, pre, tt, code {
71 font-family: Courier, Fixed;