/* A font by Jos Buivenga (exljbris) -> www.exljbris.nl */
@font-face {
      font-family: "Fontin-Sans";
      src: url(http://raphaeljs.com/fontin-sans.otf) format("opentype");
}
@font-face {
      font-family: "Fontin-Sans SC";
      src: url(http://raphaeljs.com/fontin-sans-sc.otf) format("opentype");
}
body {
    background: #fff;
    color: #000;
    font: 100.01% "Fontin-Sans", "Myriad Pro", "Lucida Grande", "Lucida Sans Unicode", Lucida, Verdana, Helvetica, sans-serif;
    margin: 3em 2em 6em 4em;
}
h1 {
    text-align: center;
}
h1, h2, h3 {
    font-family: "Fontin-Sans SC", "Myriad Pro", "Lucida Grande", "Lucida Sans Unicode", Lucida, Verdana, Helvetica, sans-serif;
}
h2 span,
#rss,
#reference #column-2 {
    display: none;
}
#footer h3,
#reference #footer h3 {
    font-size: .7em;
    text-align: center;
}
#reference h3 {
    font-size: 2em;
    text-align: left;
}
#aside {
    list-style: none;
    margin: 0;
    padding: 0;
}
a {
    text-decoration: none;
    color: #000;
}
a:after {
    content: " (" attr(href) ")";
}
p {
    margin: 0;
}
p.not-prime {
    text-indent: 1.4em;
}
p.code,
code,
samp {
    font: 1.1em Monaco, "Lucida Console", monospace;
    color: #000;
}
code i {
    color: #069;
    font-style: normal;
}
code span.c,
code span.c * {
    font-style: italic;
    color: #999;
}
code span.d {
    color: #900;
}
#footer {
    margin-top: 3em;
}
em.amp {
    font-family: Baskerville, "Goudy Old Style", Palatino, "Book Antiqua", serif;
    font-style: italic;
}
