body {
    font-family: Arial, Helvetica;
    font-size: 9pt;
    line-height: 1.4em;
    background: #f0f0f0;
}

#container {
    width: 40em;
    margin: 0 auto;
    display: none;
}

#templates {
    display: none;
}

#header {
    border-bottom: 1px dotted gray;
    font-variant: small-caps;
}

#header #static {
    display: inline;
}

#header #info {
    float: right;
}

#header #info #issue-no, #header #info #pub-date {
    color: gray;
}

.article {
    padding-top: 1em;
    padding-bottom: 1em;
}

.article .author {
    font-size: 10pt;
    display: inline;
    font-weight: bold;
}

.article .date {
    font-size: 10pt;
    display: inline;
    color: gray;
}

/* Get rid of annoying <br/>'s at the beginning of articles. */
.article .content br {
    display: none;
}

.article .content a {
    color: black;
}

a:hover {
    background: yellow;
}

.article .content img {
    display: none;
}

.article .title {
    font-size: 12pt;
    font-weight: bold;
}

.article .title .link {
    text-decoration: none;
    color: black;
}