/*List of download links*/
ul.down {
    list-style-type: circle;
}

li.down {
    margin-bottom: 0.3em;
}

/*Links to doc packages*/
a.down:link {
    font-size: 110%;
    color: blue;
    text-decoration: underline;
    cursor: pointer;
}
a.down:visited {
    font-size: 110%;
    color: blue;
    text-decoration: underline;
    cursor: pointer;
}
a.down:hover {
    font-size: 110%;
    color: black;
    text-decoration: underline;
    cursor: pointer;
}