a {
    border-bottom: 1px dotted #aaa;
}
a:hover {
    text-decoration: none;
}


h1 {
    color: #000;
}

h2 {
    color: #0000a0;
}

h3 {
    color: #303030;
}

/*
pre {
    border: 1px dotted lightgreen;
}*/

pre, pre code {
    /*max-width: 100%;*/
    overflow: auto;
    white-space: pre;
}
