pre {
        font-size: larger;
}
a {
        text-decoration: none;
}
a:hover {
        font-weight: bold;
}