body {
    margin-left:20%;
    width:60%;
    font-family: 'Fauna One', sans-serif;
    font-size: 16px
}
div#contents {
}
div#menu {
    font-size: 2em;
}
a:link {
    color: #5E79AF;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
h1 {
    font-weight: bold;
    font-size: 1.8em;
}
h2 {
    font-weight: bold;
    font-size: 1.4em;
}
p {
    text-align: justify;
}
.comment>table,th {
    border: 1px solid black;
    font-weight: normal;
    text-align: left;
    width:100%;
}
pre {
    background-color: #eeeeee;
}