A { text-decoration: none; }
A:hover { background-color: #d7ecec;  }
pre {
    font-weight: normal;
    border-style: solid;
    padding:2em;
    margin: 2.5em;
    margin-top: 1em;
    margin-bottom: 1em;
    padding-top: 1em;
    padding-bottom: 1em;
    background-color: #CCCCCC;
}
.divq {
    font-family: sans-serif;
    font-weight: bold;
    border-style: solid;
    background-color: #99CCCC;
    padding:.5em; margin:.5em;
    font-size: large;
}
.diva {
    padding:.5em; margin:.5em;
    font-family: sans-serif;
}