.contents {
    background-color: white;
    font-family: sans-serif;
    max-width: 80ex;
    box-shadow: 0px 2px 5px #a2a2a2;
    -webkit-border-radius: 7px;
    border: 1px solid #a2a2a2;
    border-radius: 7px;
    padding-left: 3ex;
    padding-right: 3ex;
    padding-top: 0ex;
}

html {
    background-color: rgb(230,230,230);
}

pre {
    margin-left: 5ex;
    margin-top: 1ex;
}

.code {
    font-family: monospace
}

dt {
    font-weight: bold;
}

.biglink {
    font-family: sans-serif;
    font-size: x-large;
    text-decoration: none;
    border-style: outset;
    border-width: 2px;
    border-color: #C0C0C0;
    border-radius: 1ex;
    margin:1ex;
    padding: 1ex;
    color: #00F;
    background-color: #FCFEE4;
}