typeset details {
    font-size: 0.80em;
}