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

/**
 * WikiLens overrides
 */
body {
    /* ivory #ffe #fffff0*/
    background: #FEFEFE;
    font-size: 90%; /* The default is too large. But enlarge monospace below */
    margin: 0;
}

div.wikitext {
    margin-top: 0;
    margin-bottom: 0;
    background: #FEFEFE;
}

td.leftnav {
    background: #F3F3F7;
    padding: 8px;
    /* "paper" borders */
    padding-left: 0.3em;
    padding-right: 0.2em;
    padding-top: 0.5ex;
    padding-bottom: 0.5ex;
    margin: 0;
    border-right: 1px #e6e6fa solid; /* lavender */
    border-bottom: 1px #e6e6fa solid; /* lavender */
}

img {
    border: 0;
}

#logo img {
    margin: 0;
    float: left;
}

#toolbar {
    margin: 1.5ex 1em 0 1em;
}

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