div h3 { margin-top: 1em; }
  h3.small { margin-top: 0.2em; display: inline; margin-right: 0.5em; }
  h3.small + p { display: inline; }
  div.h3 { margin-top: 1em; }
  h3.inner { 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; }

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

tr.ex td { font-size: 88%; padding-bottom: 0.2em; padding-top: 0.2em; font-weight: bold; }
td.subtitle { font-size: 125%; 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;}

tr.live td { font-size: 85%; }
td.live { font-weight: bold; }

li strong { display: block; } 

.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; }

.typo { color:rgb(100,100,100); font-size: 85% }
.typo a { color: hsl(207,35%,50%); }
.typo a, .typo a:visited { color: hsl(284,35%,50%); }


table.contents { border-bottom: none; }

.date { display: none; }
.date { font-size: 85%; }
.date:before { content: "("; }
.date:after { content: ")"; }

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; }