/* Zenburn color theme is taken from
   <https://en.wikipedia.org/wiki/Wikipedia:Zenburn> */

h2 {
    font-size: 300%;
    text-align: center;
}
body {
    background-color: #3f3f3f;
    /* @embed */
    margin-left: auto;
    margin-right: auto;
    max-width: 800px;
    font-family: monospace;
}
p {
    text-indent: 50px;
}
p, ul {
    font-size: 120%;
}
.lambda {
    text-align: center;
    min-width: 100%;
    font-weight: bold;
    text-decoration-line: none;
}
td {
    vertical-align: middle;
}

.links {
    padding: 10px;
    border-style: solid;
    border-width: 2px;
    border-color: #dcdccc;
}

.status {
    background-color: #dcdccc;
    color: #2e3436;
    max-width:100%;
    text-align: left;
    margin-left: 10px;
    margin-right: 10px;
}

.org-center p {
    text-indent: 0px;
}

.status p {
    text-indent: 5px;
}

.status a:link {
    color: #2e3436;
}

.status a:visited {
    color: #2e3436;
}

a:link {color: #f0dfaf}
a:visited {color: #e0cf9f}
h1,
h2,
h3,
h4,
h5,
h6 {
    color: #dcdccc;
}

/* Head */
#mw-page-base {
    height: 5em;
    background-color: #3f3f3f;
    /* @embed */
    background-image: url(images/page-fade.png);
    background-position: bottom left;
    background-repeat: repeat-x;
}

div#content {
   /* margin-left: 10em; */
    padding: 1em;
    /* @embed */
    background-color: #3f3f3f;
    color: #dcdccc;
    direction: ltr;
}

pre {
    background: none repeat scroll 0 0 #3f3f3f;
    border: 1pt dashed #dcdccc;
    color: #dcdccc;
    font-size: 8pt;
    overflow: auto;
    padding: 1em 0;
    white-space: pre;
}

table.tmbox {
    background: none repeat scroll 0 0 #dc8cc3;
    border: 1px solid #C0C090;
    border-collapse: collapse;
    margin: 4px 10%;
}

table.diff {
    background: none repeat scroll 0 0 #3f3f3f;
}