body {
  margin: 0.5in;
}
html {
  background-image: url(txr-bg.png);
  background-repeat: repeat;
}
h2 {
  padding-top: 2ex;
}
pre {
  border-color: black;
  padding-left: 0.5in;
  font-family: monospace;
  color: #000000;
}
h1 {
  font-size: xx-large;
  line-height: 200%;
}
p + p {
  text-indent: 0.25in;
}
p, ul {
  margin-bottom: 0;
  padding-bottom: 0;
  padding-left: 0.25in;
  text-align: justify;
}
ul {
  padding-left: 0.5in;
  font-size: smaller;
}
h2 + h2 {
  padding-top: 10ex;
}

h1 + h2 {
  padding-top: 5ex;
}
/*
dl dd:-moz-only-whitespace::after {
  content: "\00A0";
}
dl dd:empty:after {
  content: "\00A0";
} */
dl dd {
  overflow: auto;
  min-width: calc(100% - 3em);
}
dl dt {
  float: left;
  padding-right: 1ex;
}

.standout {
  /* color: red; */
  font-weight: bold;
}

.Constant { color: #003f67; }
.PreProc { color: #008f47; }
.Type { color: #1f771f; font-weight: bold }
.Comment { color: #003f67; }
.String { color: #601090; }
.Identifier { color: #804800; }
.Number { color: #00007f; }
.Statement { color: #761f50; font-weight: bold }
.Special { color: #602090; }