p {
    /* we do not want the standard "justify" */
    text-align: left;
}

/* tags in changelog */
.cltags {
    display: block;
    font-weight: bold;
    font-size: smaller;
}
.cltags::before {
    content: "[";
}
.cltags::after {
    content: "]";
}

.smallcaps {
    font-variant: small-caps;
}

.textrm {
    font-family: "DejaVu Serif", Times, serif;
}

.textsf {
    font-family: "DejaVu Sans", Helvetica, sans-serif;
}

/* because we have sans as body font use a serif font here */
.textother {
    font-family: "DejaVu Serif", Times, serif;
}