/* ROOT doxygen HTML_EXTRA_STYLESHEET */

div.contents {
    max-width: 100em;
    margin-right: 5em;
    margin-left: 5em;
}