@import url(https://fonts.googleapis.com/css?family=Open+Sans);

body {
    font-family: "Open Sans", "sans-serif";
    font-size: .15in;
    margin-left: .2in;
    margin-right: .2in;
    margin-bottom: .2in;
}

body.main {
    font-family: "Open Sans", "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;
    overflow: auto;
    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: green;
    color: orange;
    notext-align: center;
    font-weight: 900;
}
h2 { 
    font-size: .22in; 
    border-bottom: 1px solid #999; 
    padding-bottom: .08in;
    color: darkgreen;
    margin-top: .4in;
    margin-top: 25px;
}
h3 { font-size: .15in; }

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]: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 {
    nowidth: 95%;
    width: 100%;
    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;
}

.const {
    font-variant: small-caps;
}

#tatutors td {
    width: 150px;
    padding: 0px;
    margin: 0px;
    border: 0px;
    border-spacing: 0px;
    border-collapse: collapse;
}