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

/**
 * WikiLens overrides
 */
body {
    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;
}

img.inlineimage {
    display: inline;
    vertical-align: middle;
}

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

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

img.toolbar:hover {
    cursor: pointer;
}