ul.loose {margin-top: 0em; margin-bottom: 1em; }
ul.loose li { margin-bottom: 0.4em; }
a.dead { text-decoration: line-through; }
ul.loose ul { margin-top: 0.2em; }
ul.loose ul li { margin-bottom: 0px; }
h2 { margin-top: 2em; }
div.small { margin-bottom: 1em; }
h4 { display: inline; margin-right: 0.5em; font-size: inherit; }
h4 + p { display: inline; }
h3 { margin-bottom: 0.2ex; }
ul.tight { margin-top: 0.2ex; }
h3+p { margin-bottom: 0.2ex; }

table.schedule { 
  margin-left: 1em; 
  border-top: solid 0.5pt rgb(120,120,120); border-bottom: solid 0.5pt rgb(120,120,120); 
  margin-top: 1em; margin-bottom: 1em;
  }
.lec {  padding-right: 1em;}

.code { color:rgb(100,100,100); font-size: 85% }
.code a { color: hsl(207,35%,50%); }
.code a, .code a:visited { color: hsl(284,35%,50%); }
.code::before { content: "code \002014  "; }
.code a.campl-external { background: none; padding-right: 0px; }