@import url("lib.css");
  ol.labsteps li ol { list-style: lower-alpha }

  .doc dl dt { font-family: Courier }
  div.specbox {border: dashed; border-color: gray; padding-left: 1em }