body {
  font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", Inconsolata, monospace;
  background-color: rgb(245, 245, 245);
  padding: 0px;
  border: 0px;
  margin: 1.5em;
  max-width: 100ex;
}

a { text-decoration-line: none; }
a:hover { text-decoration-line: underline; }

h1::before { content: "/- "; }
h1::after { content: " -/";  }
h1 {
  color: #444444;
  font-size: 140%;
  margin: 0px;
  padding: 0px;
  border: 0px;
  margin-bottom: 1em;
}

h2::before {
  color: #8959A8;
  font-weight: normal;
}
h2.meta::before { content: "meta def "; }
h2::before { content: "def "; }
h2::after {
  content: " := ";
  font-weight: normal;
}
h2.list_name::after { content: " : list name := "; }
h2.tactic::after { content: " : tactic unit := "; }
h2.string::after { content: " : string := "; }
h2 {
  font-size: 100%;
  margin: 0px;
  padding: 0px;
  border: 0px;
  margin-top: 2em;
  text-transform: lowercase;
}

div { margin: 0px; padding: 0px; border: 0px; }
h2.motto::before { content: "import "; }
h2.motto::after { content: ""; }
h2.motto { margin-top: 1em; }

h2.check::before { content: "#check "; }
h2.check::after { content: ""; }
h2.check { margin-top: 1em; }

div.string p:first-of-type::before { content: "\""; }
div.string p:first-of-type { margin-top: 0px; }
div.string p:last-of-type::after { content: "\""; }

p.string::before { content: "\""; }
p.string::after { content: "\""; }

a.string::before { content: "\""; }
a.string::after { content: "\""; }
span.string::before { content: "\""; }
span.string::after { content: "\""; }
span.string { color: #286d28; }

p.string { margin-top: 0px; }

p.struct::before { content: "{ "; }
p.struct::after { content: " }"; }
p.struct { margin-top: 0px; }

span.underline {
/*
  visibility: hidden;
  margin-left: -1.2ex;
*/
  text-decoration-line:  underline;
}
/*
span.underline::after {
  visibility: visible;
  content: "_";
}
*/

.sorry {
  color: #CC0000;
  visibility: hidden;
}
.sorry::before {
  visibility: visible;
  content: "sorry";
}

p.string { color: #286d28; }
div.string { color: #286d28; }

ul {
  display: block;
  margin: 0px;
  padding: 0px;
}
ul li { display: inline; }
ul li:first-child::before { content: "[ "; }
ul li::after { content: ",\A  "; white-space: pre; }
ul li:last-child::after { content: " ]"; }

dl {
  display: block;
  margin: 0px;
  padding: 0px;
}
dt {
  display: inline;
  margin: 0px;
  padding: 0px;
  text-transform: lowercase;
}
dd {
  display: inline;
  margin: 0px;
  padding: 0px;
}
dl::before { content: "{ "; }
dt::after { content: " := "; }
dd::after { content: ",\A  "; white-space: pre; }
dd:last-child::after { content: " }"; }

span.inline-comment { color: #444444; }
span.inline-comment::before { content: " -- "; }