/* navigation bar */
div.navbar {
  background-color: #c0c0c0;
  margin-bottom: 2px;
  padding-bottom: 6px;
  padding-top: 6px;
  border-top: 3px double black;
  border-bottom: 3px double black;
  }
div.navbar p.version {
  font-family: "Lucida Sans", Arial, Helvetica, sans-serif ;
  padding: 0;
  margin: 0.25em;
  font-size: 80%;
  }
table.navbar {
  border: 1px solid #c0c0c0;
  }
table.navbar td {
  text-align: center;
  padding: 2px 6px 2px 6px;
  }
table.navbar td.there a:link {
  color: white;
  text-decoration: none;
  }
table.navbar td.there a:visited {
  color: #c0c0c0;
  text-decoration: none;
  }
table.navbar td.there a:hover {
  color: yellow;
  text-decoration: underline;
  }
table.navbar td.there { 
  background-color: black;
  }
table.navbar td.here a:link {
  color: black;
  text-decoration: none;
  }
table.navbar td.here a:visited {
  color: black;
  text-decoration: none;
  }
table.navbar td.here a:hover {
  }
table.navbar td.here {
  border: 1px solid black; 
  background-color: white;
  }
table.navbar td,
/* general formatting */
a.command:before, a.command:after,
body, td .roman { font-family: Goudy, Garamond, "Adobe Garamond", Palatino, Times, serif }
h1, h2, h3 { font-family: "Lucida Sans", Arial, Helvetica, sans-serif }
pre { font-family: "Lucida Typewriter", "Lucida Sans Typewriter", Courier, Monaco, monospace }
a.command { font-family: monospace }
h1 { font-size 144%; font-weight: bold; text-align: center }
h2 { font-size 120%; font-weight: bold }
h3 { font-size 100%; font-weight: bold }
pre { margin-left: 36px; font-style: normal }
p { margin-top: 3px; margin-bottom: 3px; } 
p.p1 { text-align: justify; text-indent: 2em } 
p.p3 { text-indent: -2em; margin-left: 4em }
p.subtitle { font-style: italic; }
p.subtitle cite { font-style: normal; }
p.version { font-size: 90%; margin-bottom: 2em; }
p.subtitle, p.version  { text-align: center; text-indent: 0px; }
p.subtitle.left { text-align: left; }
p.sidebar { 
  float: right;
  margin: 0.1em 1em;
  padding: 0.5em 0.5em; 
  border: 1px dotted black;
  width: 25%;
  font-size: 80%;
  }
h1 { margin-bottom: 0; margin-bottom: 0.25em; }
dl dt { font-weight: bold; }
a.command:before { content: "\201c"; }
a.command:after { content: "\201d"; }
/* general tables */
table.commands, table.issues, table.news { margin: 1em 2em; width: 90%; }
/* change list */
table.news td { vertical-align: top; } 
table.news th.change { text-align: left; padding-left: 1em; }
table.news th.event { text-align: left; padding-left: 1em; }
table.news td.version { text-align: center; } 
table.news td.event { white-space: nowrap; padding-left: 1em; } 
table.news ul { margin-bottom: 3px; margin-top: 3px; margin-left: 2em; padding-left: 0em; }
/* issues list */
table.issues th,
table.issues td { vertical-align: top; padding-right: 1em; } 
table.issues .id,
table.issues .type,
table.issues .priority,
table.issues .difficulty,
table.issues td.submit,
table.issues td.schedule
{ text-align: center; }
table.issues th.what 
{ text-align: left; }
table.issues .submit,
table.issues .schedule
{ white-space: nowrap; }
/* command list */
table.commands { border-collapse: collapse; }
table.commands td.usage { font-family: monospace; }
table.commands .name { width: 15%; }
table.commands td.usage { 
  width: 25%;
  font-size: 90%; 
  text-indent: -18px;
  padding-left: 24px;
  }
table.commands td.description {
  font-size: 90%; 
  text-align: justify;
  }
table.commands th { 
  border-top: 3px #c0c0c0 double; 
  border-bottom: 3px #c0c0c0 double; 
  border-left: 1px #c0c0c0 solid; 
  border-right: 1px #c0c0c0 solid; 
  padding: 2px 6px; }
table.commands td { border: 1px #c0c0c0 solid; padding: 2px 6px; }
/* error list */
table.errors { border-collapse: collapse; margin-top: 1em;}
table.errors td.number { font-family: monospace; vertical-align: top; text-align: center;}
table.errors td.text { font-family: monospace; }
table.errors th { 
  border-top: 3px #c0c0c0 double; 
  border-bottom: 3px #c0c0c0 double; 
  border-left: 1px #c0c0c0 solid; 
  border-right: 1px #c0c0c0 solid; 
  padding: 2px 6px; }
table.errors td { border: 1px #c0c0c0 solid; padding: 2px 6px; }
table.byos { margin: 9px 24px; }
table.byos td.os { text-align: center; }
table.byos th, table.byos td { padding: 6px; }
/* print formatting */
@media print {
    body.all h1 { page-break-before: always; }
    body.all h1.nobreak { page-break-before: avoid; }
    pre { font-size: 75%; }
    p.sidebar { float: none; width: 90%; margin-left: auto; margin-right: auto;}
    div.navbar { display: none; }
    table.news td.event { white-space: wrap; width: 20%; }
    table.news th, tables.news td { font-size: 75%; }
    @page {
      counter-increment: page;
      @top-right { 
	content: counter(page) 
        }
      }
  }
