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

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

td.ex { font-size: 85%; 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%; }
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; }

.contents { }