body {
    margin-top: 2%;
    margin-bottom: 2%;
    margin-left: 2%; 
    margin-right: 12%;
}

div.revhistory > table {
    width: 100%;
}

div.author, p.pubdate {
    text-align: right;
}

div.titlepage h1, div.titlepage h2, div.titlepage h3, div.titlepage h4, div.titlepage h5, div.titlepage h6, div.titlepage h7, div.toc, div[class|="list-of"] {
    border-style: solid;
    border-color: #FFCC00;
    padding-left: 10px;
    border-width: 0px 0px 0px 5px;
}

div.toc > p > b, div[class|="list-of"] > p > b {
    font-size: 200%;
    font-weight: bold;
}

div.caution, div.important, div.note, div.tip, div.warning {
    border-width: 5px 0px 5px 0px;
    border-style: solid;
    border-color: #B8860B;
    margin-bottom: 20px;
}


pre.programlisting, div.programlisting {
    padding: 10px;
    white-space: pre;
    background: #FFFFAA;
}

pre.screen, div.screen {
    white-space: pre;
    padding: 10px;
    color: white;
    background: black;
}

div.equation-contents {
    margin: 0 10% auto;
    padding: 10px;
}

table > thead > tr {
    background: #FFCC00;
}

div[class|="table"] > table > tbody > tr:nth-child(even) {
    background: #FFFFAA;
}

div[class|="table"] > table > tbody > tr:nth-child(odd) {
}

td {
    vertical-align: middle;
}

th > p, td > p, li.step > p, span.term > p {
    display: inline;
}

.hl-keyword {
    font-weight: bold;
    color: blue;
}

.hl-tag {
    font-style: italic;
    color: red;
}

.hl-comment {
    font-style: italic;
    color: gray;
}

.hl-string {
    font-weight: bold;
    color: darkgreen;
}

.hl-directive {
    color: firebrick;
}