html {
  font-size: 62.5%; }
body {
  font-size: 1.5em; /* currently ems cause chrome bug misinterpreting rems on body element */
  line-height: 1.6;
  font-weight: 400;
  font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "HelveticaNeue", "Helvetica Neue", Helvetica, Arial, sans-serif;
  color: #222;
  padding-bottom: 400px;
}

a, a:link, a:visited {
  text-decoration: none;
  color: rgb(0,23,255);
}

a:hover {
  color: rgb(255,38,0);
}


h1, h2, h3, h4, h5, h6 {
  margin-top: 0;
  margin-bottom: 2rem;
  font-weight: 300; }
h1 { color: rgb(200,0,0); font-weight: bold; font-size: 3.0rem; line-height: 1.2;  letter-spacing: -.1rem;}
h2 { font-weight: bold; font-size: 2.5rem; line-height: 1.25; letter-spacing: -.1rem; }
h3 { font-weight: bold; font-size: 2.0rem; line-height: 1.3;  letter-spacing: -.1rem; }
h4 { font-weight: bold; font-size: 1.8rem; line-height: 1.35;
     letter-spacing: -.08rem; margin-bottom: 0;}
h5 { font-weight: bold; font-size: 1.6rem; line-height: 1.5;
     letter-spacing: -.05rem; margin-bottom: 0;}
h6 { font-size: 1.5rem; line-height: 1.6;  letter-spacing: 0;
     margin-bottom: 0; }


.lec:hover {
    background-color: #ddffdd;
}

table {
   font-size: 1em;
}

tr.lel {
    border-bottom:solid 2px black;
}

tr.toprule, td.toprule {
    text-align: left;
    border-top: 1px solid black;
}