body {
  font-family: Arial, Verdana, Serif;
  margin: 10px 10% 10px 10%;
}

blockquote {
  border-left: 5px solid #cccccc;
  padding-left: 5px;
}

blockquote.NOTE {
    border-left: 5px solid #009900;
}

blockquote.WARNING {
    border-left: 5px solid orange;
}

h1, h2, h3, h4, h5, h6 {
  color: #009900;
}

div.NAVHEADER table, div.NAVFOOTER table  {
    color: #444444;
}

div.NAVHEADER th {
    color: #777777;
}

div.NAVHEADER a, div.NAVHEADER a:link, div.NAVHEADER a:visited,
div.NAVFOOTER a, div.NAVFOOTER a:link, div.NAVFOOTER a:visited {
  color: black;
  font-weight: bold;
}

div.NAVHEADER a:hover, div.NAVFOOTER a:hover {
  color: #009900;
}

hr { 
  color: #777777; 
  background: #777777; 
  border: 0; 
  height: 1px; 
}


DL {
  margin: .8em 0;
  line-height: 1.2;
}


div.EXAMPLE p b, .QUESTION, div.TABLE p b, div.PROCEDURE p b {
  color: #009900;
}

h1 { 
    font-size: 18pt;
    text-align: left;
    padding-bottom: 1px;
    margin-bottom : 0px;
}

h1.TITLE {
    border-bottom: 1px solid #009900;
}

h2 {
  font-size: 14pt;
}

h3 {
  font-size: 12pt;
}

h2.SUBTITLE {
  text-align: right;
  margin-top: 0px;
  padding-top: 0px;
}

p {
    text-align: justify;
}

p.center {
  text-align: center;
}

.FILENAME {
	color: #009900;
}

.PROGRAMLISTING {
  background-image: url('imgs/file.png');
  background-repeat: no-repeat;
  background-position: top right;
  border: 1px dashed #009900; 
  margin-left: 2em;
  background-color: #eeeeee;
  padding: 4px 40px 4px 4px;
    min-height: 40px;
    height: auto !important;
    height: 40px;
}


.SCREEN {
  background-image: url('imgs/monitor.png');
  background-repeat: no-repeat;
  background-position: top right;
  border: 1px dotted #009900; 
  margin-left: 2em;
  background-color: #eeeeee;
  padding: 4px;
    min-height: 40px;
    height: auto !important;
    height: 40px;
}

.SYNOPSIS {

}

ul, li {
  list-style-type: square;
}