body {
    /*background-color: #ffffff;*/
    font-size: 14px;
    font-family: Verdana, "Verdana CE",  Arial, "Arial CE", "Lucida Grande CE", lucida, "Helvetica CE", sans-serif;
    color: #000000;
    margin: 20px;
    /*background-image: url('../images/world.jpg');*/
    /*background-color: greenyellow;*/
    background-color: #444444;
    background-repeat: repeat;
    background-position: top right;
    /*border: 1px;
    border-style: solid;
    border-color: black; /*grey*/
}


h1 {
    font-family: Arial, "Arial CE", "Lucida Grande CE", lucida, "Helvetica CE", sans-serif;
    border-bottom: 1px solid #AFAFAF;
    font-size:  20px;
    font-weight: bold;
    margin: 0px;
    padding: 0px;
    padding-bottom: 5px;
    margin-bottom:10px;
    /*color: #D20005;*/
}

h2 {
    font-family: Arial, "Arial CE", "Lucida Grande CE", lucida, "Helvetica CE", sans-serif;
    font-size:  18px;
    font-weight: bold;
    margin: 0px;
    padding: 0px;
    margin-bottom:3px;
    margin-top:20px;
    /*color: #D20005;*/
}

h3 {
    font-family: Arial, "Arial CE", "Lucida Grande CE", lucida, "Helvetica CE", sans-serif;
    font-size:  16px;
    font-weight: bold;
    margin: 0px;
    padding: 0px;
    margin-bottom:3px;
    margin-top:5px;
    /*color: #D20005;*/
}

h4 {
    font-family: Arial, "Arial CE", "Lucida Grande CE", lucida, "Helvetica CE", sans-serif;
    font-size:  14px;
    font-weight: bold;
    margin: 0px;
    padding: 0px;
    margin-bottom:3px;
    margin-top:5px;
    /*color: #D20005;*/
}

h5 {
    font-family: Arial, "Arial CE", "Lucida Grande CE", lucida, "Helvetica CE", sans-serif;
    font-size:  12px;
    font-weight: bold;
    margin: 0px;
    padding: 0px;
    margin-bottom:3px;
    margin-top:5px;
    /*color: #D20005;*/
}

a:link, a:visited {
  color: #045491;
  font-weight : bold;
  text-decoration: none;
}

a:link:hover, a:visited:hover  {
  color: #045491;
  font-weight : bold;
  text-decoration : underline;
}

.programlisting {
  background-color: whitesmoke;
  border-width:thin;  
  border-top-color:#dddddd;
  border-top-style: solid;
  border-bottom-color:#dddddd;
  border-bottom-style: solid;

}