body {
    font-family: 'Helvetica', 'Arial', 'Sans-Serif';
    font-size: .15in;
    margin-left: .2in;
    margin-right: .2in;
    margin-bottom: .2in;
}

body.main {
    font-family: 'Helvetica', 'Arial', 'Sans-Serif';
    font-size: .15in;
    margin-left: .2in;
    margin-right: .2in;
    margin-bottom: .2in;
    margin: auto;
    max-width: 800px;
    max-width: 80%;
}

dd {
    margin-bottom: 4px;
}

address {
    margin-top: 40px;
    text-align: left;
}

div.labbody {
    margin: auto;
    max-width: 800px;
}

code, tt {
    margin: 0 2px;
    padding: 0 5px;
    white-space: nowrap;
    border: 1px solid #eaeaea;
    background-color: #f8f8f8;
    border-radius: 3px;
}

pre code {
    margin: 0;
    padding: 0;
    white-space: pre;
    border: none;
    background: transparent;
}

.highlight pre {
    background-color: #f8f8f8;
    border: 1px solid #cccccc;
    font-size: 13px;
    line-height: 19px;
    overflow: auto;
    padding: 6px 10px;
    border-radius: 3px;
}

pre {
    background-color: #f8f8f8;
    border: 1px solid #cccccc;
    font-size: 13px;
    line-height: 19px;
    nooverflow: auto;
    padding: 6px 10px;
    border-radius: 3px;
}

div.bq {
    font-family: "Consolas";
    background-color: #f8f8f8;
    border: 1px solid #cccccc;
    font-size: 13px;
    line-height: 19px;
    padding: 6px 10px;
    border-radius: 3px;
}

pre code, pre tt {
    background-color: transparent;
    border: none;
}

h1 {
    margin-top: .3in;
    margin-bottom: 0.1in;
    font-size: 0.33in;
    font-weight: bold;
    noborder-bottom: 1px solid #999;
    padding-bottom: .08in;
    padding-bottom: 0px;
    color: #333;
    notext-align: center;
}
.h1sub {
    nofont-family: "Arial Black", "Arial Bold", Gadget, sans-serif;
    border: none;
    padding: 0px;
    margin: 0px;
    margin-bottom: 0.4in;
    font-size: 0.25in;
    color: #E84A27;
    notext-align: center;
    font-weight: 900;
}
h2 {
    font-size: .22in;
    border-bottom: 1px solid #999;
    padding-bottom: .08in;
    color: #13294b;
    margin-top: .4in;
    margin-top: 25px;
}
h3 { font-size: .18in; }

div.footer {
    margin-top: .35in;
    margin-bottom: .25in;
    text-align: right;
    font-style: italic;
}
div.footer a {
    color: #999;
    color: #AAA;
}
div.footer hr {
    text-align:right;margin-right:0;
}

div.task-spec, div.task-error {
    font-weight: bold;
}

hr {
    border: 0;
    border-bottom: 1px #ccc solid;
    width: 100%;
}

a { text-decoration: none; color: blue; }
a:hover { text-decoration: underline; }
a[name] {text-decoration: none; color: inherit; background: inherit}
a[name]:hover {text-decoration: inherit; color: inherit; background: inherit}

.out { color: blue; font-weight: bold; }
.due { color: red; font-weight: bold; }

h2.outline {
    border: none;
    color: orange;
    margin-top: 0;
}

notbody tr:nth-child(odd) {
  background: #eee;
}

#sched {
    width: 95%;
    border-collapse: collapse;
    noborder-radius: 10px;
}

#sched th {
    color: white;
    background-color: #000088;
    background: linear-gradient(to bottom, blue, darkblue);
    text-align: center;
    text-weight: bold;
    noborder-style: none;
    padding: 5px;
    border-bottom: 10px;
}

#sched td {
    border: solid thin;
    border-style: dotted solid;
    noborder-radius: 0px 0px 0px 20px;
    padding-top: 2px;
    padding-left: 6px;
    padding-right: 6px;
}