@import url("phpwiki.css");

/**
 * General settings
 */
body {
    padding-top: 9ex;
    padding-bottom: 9ex;
}

/**
 * Common toolbar settings
 * Note that div.toolbar is used for other toolbars besides
 * #navbar and #actionbar, such as in editpage and removepage
 */
div#header, div#footer {
    background: #FFFFF0; /* ivory */
    margin: 0;
    position: fixed;
    left: 0;
    right: 0;
    padding: 1ex 1em;
}

hr.toolbar {
    display: none;
}

/**
 * Navbar
 */
div#header {
    top: 0;
    padding-top: 1.5ex;
    border-bottom: 1px solid #b2b2b2;
}

div#navbuttons {
    padding-bottom: 1ex;
}

/**
 * Actionbar
 */
div#footer {
    border-top: 1px solid #b2b2b2;
    /* kludge for Mozilla */
    bottom: -1ex;
    padding-bottom: 0;
}

p.editdate {
    margin-bottom: 0.5ex;
}