/* $Id: stepladder.css 23 2023-10-15 19:48:53Z dsb $ */
HTML {
  font-family: sans-serif;
}
BODY {
  margin: 0.5em;
  color: black;
  background-color: #d8a86a;
}
DIV.content {
  color: black;
  background-color: #f8ffd0;
  border-width: medium;
  border-color: black;
  padding: 0.5em;
}
H1 {
  font-family: sans-serif;
  font-size: 150%;
  font-weight: bold;
  text-align: center;
}
H2 {
  font-family: sans-serif;
  font-size: 120%;
  font-weight: bold;
}
TABLE,TR,TD { font-size: 100%; }
TABLE.grid TH, TABLE.key TH {
  font-weight: bold;
  text-align: center;
  background-color: #d8a86a;
}
TABLE.grid, TABLE.key { margin-top: 1em; margin-bottom: 1em; }
TABLE.key { font-size: 80%; }
TABLE.grid TR.winner, TABLE.key TD.winner { background-color: #d4ffb0; }
TABLE.grid TR.dead, TABLE.key TD.dead { background-color: #f8ffa0; }
PRE.sheet, PRE.diff {
  font-family: Courier, monospace;
  color: black;
  background-color: white;
}
PRE.screen {
  font-family: Courier, monospace;
  font-size: 110%;
  color: white;
  background-color: black;
}
PRE.diff SPAN.old, UL.diff SPAN.old { background-color: #FF0000; }
PRE.diff SPAN.new, UL.diff SPAN.new { background-color: #00FF00; }
PRE.diff SPAN.lines { background-color: #C0C0C0; }
DIV.comment { font-size: 80%; }
DIV.comment.current { color: #006400; }
DIV.comment.future { color: gray; }
SPAN.name { color: blue; }
SPAN.comment { color: #006400; }
DIV.text {
  font-family: serif;
} 
DIV.text P {
  margin-top: 0;
  margin-bottom: 0;
  text-indent: 2em;
  line-height: 120%;
}
DIV.text HR {
  margin-top: 3ex;
  margin-bottom: 3ex;
  width: 40%;
  border-width: thin;
  border-top: dotted;
}