H1.title {
   padding: 5px 5px 5px 10px;
   border-left: 10px solid blue;
   border-bottom: 2px solid blue;
}

H2.title {
   padding: 3px 3px 3px 5px;
   border-left: 5px solid blue;
   border-bottom: 2px solid blue;
}

H3.title {
   padding: 3px 3px 3px 5px;
   border-left: 5px solid blue;
   border-bottom: 1px solid blue;
}

H4.title {
   padding: 3px 3px 3px 5px;
   border-left: 5px solid blue;
   border-bottom: 1px solid blue;
}


DIV.article {
    margin: 30px 30px 30px 30px;
}

DIV.caution {
   background: #FFCCCC;
}
DIV.important {
   background: #FFCCCC;
}
DIV.note {
   background: #CCCCFF;
}
DIV.tip {
   background: #CCCCFF;
}
DIV.warning {
   background: #FFCCCC;
}



PRE.programlisting {
border-width: 1ex;
border-color: blue;
border-style: solid;
color: white;
background-color: blue;
}

PRE.screen {
border-width: 1ex;
border-color: black;
border-style: solid;
color: white;
background-color: black;
}

BODY {
font-family: gill, helvetica, sans-serif;
font-size: 12pt;  
}