/* Created using Style Master from Western Civilisation CSS1 { 2 2 558 625 } */

body {
font-family: sans-serif;
font-size: 12pt;
font-weight: normal;
font-style: normal;
color: #000000;
background-color: #F8F8F8
}

.title {
font-size: 14pt;
font-weight: bold;
font-style: italic;
text-align: center;
margin-bottom: 1em;
}

.author {
font-style: normal;
font-weight: bold;
font-size: 12pt;
text-align: center;
margin-bottom: 0.5ex;
}

.quote
{
font-family: serif;
font-style: italic;
text-align: right;
margin-right: 3em;
margin-top: 2em;
color:#444;
}

div.autosize
{
    display:table;
    width:1px;
    margin-left: 2em;
    margin-right: 2em;
    border: 1px navy solid;
}

div.autosize div.code
{
    display: table-cell;
    border: 1px white solid;
    padding-top: 2ex;
    padding-bottom: 2ex;
    white-space:nowrap;
}

div.autosize div.program_output
{
    display: table-cell;
    white-space:nowrap;
}

div.autosize div.shell_commands
{
    display: table-cell;
    white-space:nowrap;
}

div.code {
background-color:#e8e8e4;/* #cddcdc; */
border: 1px black solid;
font-family: monospace;
font-weight:bold;
margin-left: 2em;
margin-right: 2em;
margin-top: 2em;
margin-bottom: 2em;
color: #008;
padding-top: 6px;
padding-left: 3ex;
padding-bottom: 6px;
padding-right: 3ex;
font-size: 11pt;
width: 700px;
}

span.code, .incode {
color: black;
font-size: 12pt;
font-family: monospace;
font-weight: bold;
white-space:nowrap;
}

.comment
{
    color:#080;
}

.srchighlight
{
    color:#0080a0;
}

.badcode
{
    color:#c00000;
}

h3 {
font-weight: bold;
font-size: 12pt;
margin-bottom: 1em;
margin-top: 1.5em;
font-style: normal;
}

h2 {
font-style: italic;
font-weight: bold;
font-size: 13pt;
margin-bottom: 1em;
margin-top: 2.5em;
}

h1 {
font-size: 14pt;
font-weight: bold;
font-style: italic;
text-align: center;
margin-bottom: 1em;
}

a {
color: #0000cc;
text-decoration: none;
}

li
{
    margin-bottom: 1.5ex;
}

.pseudocode {
background-color: #e8e8e8;
border: 1px black solid;
margin-left: 2em;
margin-right: 2em;
margin-top: 1em;
margin-bottom: 1em;
color: black;
padding-top: 6px;
padding-left: 15px;
padding-bottom: 6px;
padding-right: 2px;
font-size: 0.9em;
width: 500px;
}

.program_output
{
    color: black;
    font-family: monospace;
    font-size: 10pt;
    font-weight:bold;
    margin-left: 2em;
    margin-right: 2em;
    margin-top: 2em;
    margin-bottom: 2em;
    padding-top: 6px;
    padding-left: 3ex;
    padding-bottom: 6px;
    padding-right: 3ex;
    white-space: nowrap;
}

.shell_commands
{
    color: #068;
    font-family: monospace;
    font-size: 10pt;
    font-weight:bold;
    margin-left: 2em;
    margin-right: 2em;
    margin-top: 2em;
    margin-bottom: 2em;
    padding-top: 6px;
    padding-left: 3ex;
    padding-bottom: 6px;
    padding-right: 3ex;
    white-space: nowrap;
}

.brainteaser
{
    font-weight: bold;
    color: #e08020;
}

.copyright {
font-family: Verdana, sans-serif;
font-size: 10pt;
text-align: center;
color: black;
margin: 2px;
}

.nowrap
{
    white-space: nowrap;
}

#footnotes
{
    margin-top:3em;
    margin-bottom:1em;
    border-top:black solid 1px;
}


table.eqnarray
{
    margin-left: 3em;
}

span.math, table.eqnarray td
{
    font-family: serif;
    font-style: italic;
    white-space: nowrap;
}

div.numerator
{
    border-bottom:2px black solid;
    text-align:center;
    padding-bottom:3px;
}

div.denominator
{
    text-align:center;
    margin-top: 3px;
}