p {
        text-align: justify;
}

h1 {
        font-size: 130%;
        font-family: tahoma, verdana, arial;
}

pre {
        font-size: 9pt;
        padding: 10px;
      
      
}

.cls { font-family: tahoma; font-size: 8pt; text-decoration: none; cursor: hand; color: #305f8c }
.cls:hover { text-decoration: none; color: #d4c58f;  }

div.ctrl {
        font-family: tahoma; font-size: 8pt;
}

div.ctrl a {
        color: #305f8c;
        text-decoration: none;
}

p.ctrl a:hover {
        color: #d4c58f;
}