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

/**
 * Wiki
 */
body {
    /* ivory #ffe #fffff0*/
    background: #dddddd;
    /* background: #000099; */
    font-family: Arial, Helvetica, sans-serif;
    font-size: 80%; /* The default is too large. But enlarge monospace below */
    /*margin: 1.5ex 1em; */
}

/**
 * Link styles
 */
div#navbuttons a.wikiaction, div#navbuttons a.wikiadmin {
    background-color: #dddddd;
    border: 0;
    -moz-appearance: none;
    -moz-box-sizing: content-box;
    -moz-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%
}

/* For emacs users
 *
 * Local Variables:
 * mode: c
 * c-file-style: cc-mode
 * End:
 */
