body {
  font-family: arial, sans-serif;
  color: black;
  background-color: white;
}

h1 {
  font-family: "Arial Black", arial, sans-serif;
  font-size:   220%;
  font-weight: bolder;
}

h2 {
  font-family: "Arial Black", arial, sans-serif;
  font-size:   160%;
  font-weight: bolder;
}

h3 {
  font-family: "Arial Black", arial, sans-serif;
  font-size:   120%;
  font-weight: bolder;
}

.section-head {
  font-family: "Arial Black", arial, sans-serif;
  font-size:   120%;
  font-weight: bolder;
}

.date {
  font-style:  italic;
  white-space: nowrap;
}

.code {
  font-family: monospace;
  white-space: nowrap;
  /* `pre' would be better, but it doesn't work with IE (will wrap) */
}
/* something like this would be nice, but doesn't work in IE, and need to find
   how to use ‘ ’ in there.
.code:before {
  content: "<";
}
.code:after {
  content: ">";
}
*/

.codebox {
  font-family: monospace;
  background-color: #E0E0E0;
  width: auto;
  margin: 10px 40px;
  padding: 4px;
  /* border-style: double solid; */
  /* border-width: thick thin; */
  border-style: solid none;
  border-width: thin;
  border-color: black;
  white-space: pre;
}

.var {
  font-family: serif;
  font-style:  italic;
  white-space: nowrap;
}

.warn-line {
  background-color: #FF8080;
  font-weight: bold;
  font-size: 125%;
  text-align: center;
  padding: 4px;
}

/* default cute link colors */
a:link,   a:visited { color: #502010; background-color: transparent; }
a:active, a:hover   { color: #600000; background-color: #ffff00; }
.active             { color: #600000; background-color: #e0e020; }

/* links with no underlines */
.noundlink a:link    { text-decoration: none; }
.noundlink a:visited { text-decoration: none; }
.noundlink a:active  { text-decoration: none; }
.noundlink a:hover   { text-decoration: none; }

/* navbar (used for top navbar and section tocs) removed on printouts */
.navbar {
  color: black;
  background-color: transparent;
  text-decoration: none;
  font-weight: bold;
  line-height: 100%;
}
.navbar a:link {
  color: #103010;
  background-color: transparent;
  text-decoration: none;
  font-weight: bold;
}
.navbar a:visited {
  color: #103010;
  background-color: transparent;
  text-decoration: none;
  font-weight: bold;
}
.navbar a:active {
  color: #600000;
  background-color: yellow;
  text-decoration: none;
  font-weight: bold;
}
.navbar a:hover {
  color: #600000;
  background-color: yellow;
  text-decoration: none;
  font-weight: bold;
}

/* current link */
.disabled {
  color: #606060;
}

/* contents for screen/printouts only */
.screenonly {
  display: compact;
}
.printonly {
  display: none;
}