<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/*
 * wiki.css
 */

body.normal {
    margin-left: 10%;
    margin-right:10%;
    line-height:150%;
    background-color: #efefef
    color: black;
    /* font-family: monospace; */
}

body.frozen {
    color: black;
    background: #eee;
}

.preview {
    color: black;
    background: #fcc;
}

p {
    margin-left: 5%;
    margin-right:5%;
    line-height:170%;
}

pre, ul, li {
    line-height: 140%;
}

a {
}

a:hover {
    color: red;
    background-color: white;
    text-decoration: underline;
}

a img {
    border: none;
}

.tools {
    text-align: right;
    padding: 0 .5em 0 .5em;
    margin: 0 0 0 0;
}

.header {
    text-align: left;
    border: #999 1px solid;
    color: black;
    background: #eee;
    padding: .1em .5em .1em .5em;
    margin: .2em 0 0 0;
    line-height:140%;
    /* font-family: "Courier New", monospace; */
}

.footer {
    font-style: normal; /* italic */
    text-align: right;
}

.InterWiki {
    color: black;
    background: #eee;
}

h2 {
    text-align: left;
    border-bottom: #999 1px solid;
    color: black;
    background: #eee;
    padding: .1em .5em .1em .5em;
    /* margin: .2em 0 0 0; */
}

h3 {
    text-align: left;
    border-bottom: #999 1px solid;
    color: black;
    background: #eee;
    padding: .1em .5em .1em .5em;
    /* margin: .2em 0 0 0; */
}

.date {
    font-family: monospace;
}

/* verbatim */
pre.verbatim-hard {
    background-color: #eef;
    border: #ccf 1px solid;
    padding: 1em 1em 1em 1em;
    margin-left: 3em;
    margin-right: 3em;
}

pre.verbatim-soft {
    background-color: #eef;
    border: #ccf 1px solid;
    padding: 1em 1em 1em 1em;
    margin-left: 3em;
    margin-right: 3em;
}

/* diff */
.added {
    color: blue;
}

.deleted {
    color: red;
}

.same {
    color: #666;
}

.diff {
    color: black;
    background: #eee;
}

/* table */
table {
    background: #ccf;
}

td {
    margin: 1px;
    padding: 5px;
    background: #eef;
}

.error {
}

/*
 * Styles for printer.
 */

@media print {
    form {
        display: none;
    }

    .header {
        color: black;
        border: none;
        text-align: center;
        /* font-size: large; */
        margin-bottom: 1em;
    }

    h2 {
        border: none;
        border-bottom: #ccc 1px solid;
        border-left: #ccc .5em solid;
    }

    h3 {
        border: none;
        border-bottom: #ccc 1px solid;
    }

    h4 {
        border: none;
    }

    a:hover {
        color: black;
        text-decoration: none;
    }

    a {
        text-decoration: none;
    }

    a.editlink {
        display: none;
    }

    .footer {
        display: none;
    }

    body {
    }

    .tools {
        display: none;
    }

    p {
        font-family: Serif;
    }
}
</pre></body></html>