/* a:link {text-decoration:none}
a:visited {text-decoration:none}
a:active {text-decoration:none}
a:hover {text-decoration:none; color:#990000} */

/* body */
/* {max-width:960px; margin-left:15px;} */
/* .active {font-weight:bold}
.inactive {color:black} */

/* html {font-family:"Arial"; font-size:16} */

/* .header {font-size:24; font-weight:bold; color:#990000} */
/* .top {margin-left:80px; margin-top:3px}
.section {margin:14px}
.nav {font-weight:bold; font-size:20}
.assignmentTitle {font-size:28; font-weight:bold; color:green} */

/* table {padding:20px}
td {padding:7px} */

ul {list-style:circle;
  margin:0.3em 0em 0em 2em}
ul li {
  /* margin:0px;
  margin-bottom:0px;
  margin-top:0px;  */
  padding: 0.1em 0
}

ul.lecture {list-style:disc;
  margin:0.3em 0em 0em 3em}




/* ul li { padding: 0.0em 0; } */

/* .due {font-weight:bold; color:red} */
/* pre {color:#008000; margin-left:20px; font-size:12}
code {color:#008000; font-size:14} */


/* .school-footer {
  margin-top: 30px;
  border-top: 1px solid #EEEEEE;
  padding: 1px 0px 0px 0px;
} */



.assignments table, th, td, tr {
  text-align: left;
}

p { width: 90%; line-height: 1.1;}

code, pre, pre code, p code, p pre code { font-size: 0.9rem; width: 90%}


hr.slender { margin-bottom: 0rem;}

/* .credits { padding: 0rem 0rem;
margin-top: 0px;
padding-top: 0px} */

/* .credits { font-family: "Gill Sans", "Gill Sans MT", "Lato", Calibri, sans-serif; }
.credits a { color: #a00000; } */



a:hover {
    /* color: #CC0000; */
    /* text-decoration: underline; */
    background-color: #e3d2d2;
}