a[href^="http"], a[href^="mailto"] {
    text-decoration: underline;
}
a[href^="http"]:after, a[href^="mailto"]:after {
    content: " ["attr(href)"]";
}
abbr {
    border-bottom: 1px dotted
}
acronym:after {
    content: " ["attr(title)"]";
}
table {
    border-collapse: collapse;
}
th, td {
    padding: 0.35em;
    border: solid 1px #bbb;
}

.important{
    font-weight: bold;
}
.paper, .thanks{
    font-style: italic;
}

#nav,
#footer {
    display: none;
}