/* This file overrides css rules generated by doxygen */

body {
    margin: auto;
    width: 99%;
    max-width: 80em;
}

div.fragment {
    padding: 16px;
    margin: 0px 0px 0px 0px;
}