/*
  $Revision: 1.16 $ $Date: 2022-01-23 18:07:29-05 $
  $Source: /doc/html/css/RCS/txt2tags.css,v $
  $Host: furbag.my.domain $
  $UUID: 5089657f-fade-5ea1-9c22-6b872a0e2ac1 $

  Based on: modern.css - A modern look CSS sample file
  Original Author: Osvaldo Santana Neto <osantanabr (a) brturbo com>
  Date: June 2004
  License: GPL
  Changes: KEV

  Part of the txt2tags project <http://txt2tags.sf.net>
*/

body {
  margin:          5px;
  padding:         5px;
  font-family:     "Bitstream Vera Sans", sans-serif;
  background:      #efe;
}

div.header {
  border-bottom:   2px solid black;
}

div.header h1 {
  float:           left;
  margin-left:     12pt;
  font-family:     "Bitstream Vera Sans", sans-serif;
  font-size:       18pt;
  font-weight:     bold;
}

div.header h2 {
  text-align:      right;
  margin-right:    12pt;
  font-family:     "Bitstream Vera Sans", sans-serif;
  font-size:       16pt;
}

div.header h3 {
  text-align:      right;
  margin-right:    12pt;
  margin-bottom:   24pt;
  font-family:     "Bitstream Vera Sans", sans-serif;
  font-size:       14pt;
  font-weight:     normal;
}

div.toc {
  float:           right;
  width:           30%;
  padding-left:    0;
  padding-right:   5px;
}

div.toc ul {
  padding-left:    0;
  margin-left:     5px;
}

div.toc li {
  padding-top:     5px;
  font-size:       6pt;
}

div.toc li li {
  margin-left:     10px;
  padding-top:     3px;
  font-size:       6pt;
}

div.toc li li li {
  margin-left:     10px;
  padding-top:     0;
  font-size:       6pt;
}

div.toc a {
  font-family:     "Bitstream Vera Sans", verdana, arial, sans-serif;
  font-size:       6pt;
  font-weight:     bold;
  color:           blue;
  text-decoration: none;
}

div.toc a:hover {
  text-decoration: underline;
}

div.body {
  float:           left;
  width:           65%;
  padding:         10px;
  margin-left:     1em;
  border-right:    1px solid black;
}

div.body h1, div.body h2, div.body h3,
div.body h4, div.body h5, div.body h6 {
  font-family:     "Bitstream Vera Sans", sans-serif;
  margin-left:     -1em;
}

div.body h1 {
  text-align:      left;
  margin-top:      24pt;
  margin-bottom:   18pt;
  font-size:       18pt;
  border-left:     4px solid black;
  border-bottom:   2px solid black;
  padding:         5px;
  background:      #fffff5;
}

div.body h2 {
  text-align:      left;
  margin-top:      24pt;
  margin-bottom:   18pt;
  font-size:       16pt;
  font-weight:     normal;
  border-left:     2px solid black;
  border-bottom:   1px solid black;
  padding:         5px;
  background:      #fffff5;
}

div.body h3 {
  text-align:      left;
  margin-top:      24pt;
  margin-bottom:   16pt;
  font-size:       14pt;
  border-left:     1px solid black;
  border-bottom:   1px solid black;
  padding:         5px;
  background:      #fffff5;
}

div.body h4 {
  text-align:      left;
  margin-top:      24pt;
  margin-bottom:   16pt;
  font-size:       10pt;
  font-weight:     normal;
  border-left:     1px solid black;
  border-bottom:   1px solid black;
  padding:         5px;
}

div.body h5 {
  width:           80%;
  text-align:      left;
  margin-top:      6pt;
  margin-bottom:   16pt;
  font-size:       8pt;
  padding:         5px;
}

div.body a:link {
  text-decoration: none;
  font-weight:     normal;
  color:           blue;
  background:      #fffff5;
}

div.body a:visited {
  text-decoration: none;
  font-weight:     normal;
  color:           red;
  background:      #fffff5;
}

div.body a:active {
  text-decoration: none;
  font-weight:     normal;
  color:           black;
  background:      #ccf;
}

div.body a:hover {
  text-decoration: none;
  color:           #fffff5;
  background:      #33f;
}

div.body blockquote {
  border-top:      2px solid black;
  border-bottom:   2px solid black;
  background:      #ffffbb;
  padding:         15px;
}

div.body blockquote p {
  margin-top:      2pt;
  margin-bottom:   2pt;
}

div.body pre {
  background:      #f2f2f2;
  padding:         15px;
  border:          1px solid black;
 font-family:      "Bitstream Vera mono", monospace;
}

/* uncomment this if you run tidy!
div.body li {
  padding-top:     3px;
  font-size:       6pt;
}

div.body li li {
  padding-top:     3px;
  font-size:       6pt;
}
*/

div.body dt {
  background:      #bbffbb;
  padding:         3pt;
  border-left:     3px solid black;
  font-family:     "Bitstream Vera Sans", sans-serif;
  font-size:       10pt;
  margin-top:      18pt;
  margin-bottom:   8pt;
}