.title {
    font-weight: bold
}

li {
    margin: 1em 0;
    padding: 0
}

.journal {
    font-style: italic
}

pre {
    background-color: rgb(247, 247, 247);
    tab-size: 4;
    -moz-tab-size: 4;
    white-space: pre-wrap;
    display: none;
    padding: 1em;
}

pre.visible {
    display: block;
}

body {
    width: 1000px;
    margin: auto;
    font-family: sans-serif
}

ul {
    list-style: none;
    margin: 0;
    padding: 0
}

.entrylink {
    color: #c60f0f;
    display: none;
    padding: 0 4px;
}

.entrylink:hover {
    color: white;
    background-color: #c60f0f;
    text-decoration: none;
}

li:hover .entrylink {
    display: inline;
}

a {
    text-decoration: none;
    color: rgb(64, 120, 192);
}

a:hover {
    text-decoration: underline;
}