div h3 { margin-top: 1em; }
  h3.small { margin-top: 0.2em; display: inline; margin-right: 0.5em; }
  h3.small + p { display: inline; }
  .hide { color: rgb(120,120,120); font-style: italic; }
  ul.loose li { margin-bottom: 0.8ex; }
  .todo, a.todo { color: rgb(120,120,120); }
  a.todo:hover { text-decoration: none; }

  div.h3 { margin-top: 1em; }
  h3.inner { display: inline; }
  
ul.tight { list-style-type: "\2013\00a0"; }
ul.tight li { margin-bottom: 0pt; }

.slides { font-size: 85; }
.slides a { }
.slides a:visited { }

a.dead { text-decoration: line-through; }

.ex { font-size: 90%; padding-bottom: 0.5em; padding-top: 0.2em }

.lec { color: rgb(120,120,120); padding-right: 1em;}

tr.live td { background-color: #b2ccff; font-size: 85%; }
tr.liveplus td { background-color: #b2ccff38; font-size: 85%; }
tr.liveplus td ul { margin-bottom: .2em; }
td.live { font-weight: bold; }

li strong { display: block; } 

a.code.campl-external { background: none; padding-right: 0px; }
a.code::before { content: "["; }
a.code::after { content: "]"; }

.contents { }

tr.ex td { font-size: 100%; padding-bottom: 0.2em; padding-top: 0.2em;  }
td.subtitle { font-size: 135%; padding-top: 1em; border-bottom: solid black 1pt; }

tr.new td { border-top: solid black 1px; }

.lec { color: rgb(120,120,120); padding-right: 1em;}