pre { padding-top:0; margin-top:0; background-color:lightgray }

cmdline { color:Black; background-color: #F0FFFF; font-family:"FreeMono" }

code {
  border: 1px solid black;
  font-family: monospace;
  background: lightgray;
  padding-left: 3px;
  padding-right: 5px;
}

pre {
  border: 2px solid black;
  box-shadow: 4px 4px 4px gray;
  background-color: lightgray;
  padding-left: 3px;
  padding-right: 5px;
  padding-top: 3px;
  padding-bottom: 3px;
}

figcaption {
  background-color: ivory;
  border-top: solid 1px black;
  border-right: solid 1px black;
  border-left: solid 1px black;
  border-bottom: none;
//  margin-bottom: -12px;
  padding-top: 0px;
  text-align: center;
  width: 200px;
}

optional {
  background-color: #00aaee;
}

hilite { background-color: Yellow }

s { background-color: bisque }

body {
    counter-reset: h2counter;
}

h1 {
    counter-reset: h2counter;
}

h2:before {
    content: counter(h2counter) ".\0000a0\0000a0";
    counter-increment: h2counter;
    counter-reset: h3counter;
}

h3:before {
    content: counter(h2counter) "." counter(h3counter) ".\0000a0\0000a0";
    counter-increment: h3counter;
}