@import url(../default/phpwiki.css);

/**
 * Wiki
 */
body {
    background: #dddddd;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 80%; /* The default is too large. But enlarge monospace below */
}

/**
 * Link styles
 */
div#navbuttons a.wikiaction, div#navbuttons a.wikiadmin {
    background-color: #dddddd;
    border: 0;
    -moz-appearance: none;
    -webkit-appearance: none;
    box-sizing: content-box;
    border-radius: 0;
}

.wiki, .named-wiki {
    text-decoration: none;
    font-weight: normal;
}

h1 {
    margin: 0;
    font-size: 140%
}

pre {
    font-size: 110%
}

td {
    font-size: 80%
}