/**
 * import for prism syntax highlighting
 */
@import "./prism.css";

/**
 * CSS stylesheet for nmluvmat.
 * Applies to docbook-xslt generated content
 *
 * @version mar 2020
 * @author NML
 * @copyright (c) 2009-2020 NML
 * @license
 */
body {
    background-color: #eee;
    border: 1px solid #111;
    color: #111;
    font-family:  serif;
    line-height: 1.5em;
    margin: 0 auto;
    max-width: 60em;
    min-height: 100px;
    padding: 0 1em;
}
section {
    margin: 0 auto;
    width: 97%;
}
section section {
    width: 100%;
}
.navheader, .navfooter {
    background-color: #111;
    color: #f60;
    font-family: sans-serif;
    margin: 0 -1em;
}
.navheader div, .navheader div table, .navfooter div, .navfooter div table {
    margin: 0;
    padding: 0;
}
.navheader *, .navfooter * {
    color: #f60;
}

h1, h2, h3, h4, h5, h6, caption, .term {
    font-family: sans-serif;
    font-weight: 700;
}


li { margin-bottom: 1em; }
/*
.section>div>dl>dt {
  font-family: serif;
  font-style: oblique;
}

div>dd>dl>dl>dt,*/ code {
    font-family: monospace;
    font-weight: 500;    /* 400 is normal */
}

pre {
    background-color: #FFFFEE;
    border: 1px solid #111;
}
pre + p {
    clear: both;
}

.mediaobject img, .mediaobject object, .screen {
    border: 5px solid #666;
    max-width: 98%;
    padding: 1%;
}

.screen {
    background-color: #FFFFEE;
    border-radius: 10px;
    font-family: monospace;
    line-height: 1.2em;
    overflow-x: auto;
    padding-left: 3em;
}

.quote, .blockquote {
    font-style: oblique;
}

table, th, td {
    border: 1px solid #111;
}
th, td {
    min-width: 3em;
    padding: 3px 5px;
}
.truthtable { margin: .5em auto; }
.truthtable td, .truthtable caption { text-align: center; }
.calsduf18 tr:nth-child(odd) { background: #ffff99; }
.calsduf18 tr:nth-child(even) { background: silver; }
.calsduf18 tr.standout { background: pink; }

a[name="r11"] + pre, a[name="r12"] + pre, a[name="r13"] + pre,
a[name="r21"] + pre, a[name="r22"] + pre, a[name="r23"] + pre,
a[name="r31"] + pre, a[name="r32"] + pre, a[name="r33"] + pre {
    float:left;
    width: 30%;
}

/* printer */
@media print {
    body {
        background-color: #eeeeee;
        font-size: 80%;
    }
}
/* smartphones */
@media only screen
and (max-device-width : 640px) {
    /* Styles */
    body {
        background-color: #eee;
        color: #111;
    }

    .toc span.preface, .toc span.chapter, .toc span.section, .toc span.appendix {
        margin: 0;
        padding: 0;
    }

    .toc {
        border: 0px solid #ffffff;
        list-style: none;
        margin: 10px;
        padding: 0;
    }

    .toc a {
        background-color: #111;
        border: 3px solid silver;
        color: #ccc;
        display: block;
        font-family: sans-serif;
        font-size: 3em;
        font-weight: bold;
        line-height: 1.6em;
        margin-bottom: -1px;
        padding: 12px 10px;
        text-decoration: none;
    }

    .toc dl dt:first-child span a {
        border-top-left-radius: 10px;
        border-top-right-radius: 10px;
    }

    .toc dl dt:last-child span a {
        border-bottom-left-radius: 10px;
        border-bottom-right-radius: 10px;
    }
}