body {
    text-align: justify;
}

div#menu {
    background: #fff;
    border: 6px groove #090;
    padding: 2px;
    margin: 0px 10px 10px 15px;
    float: right;
}

div#menu>ul {
    margin: 0px;
}

dt {
    font-weight: bold;
}

h1 {
    background: #cec;
    border-bottom: 2px solid #000;
    color: #000;
}

h2 {
    background: #efe;
    border-bottom: 1px solid #000;
    color: #000;
}

h3 {
    border-bottom: 1px solid #000;
}

pre {
    background: #eee;
    border-top: 1px dashed #000;
    border-bottom: 1px dashed #000;
    display: table;
    text-align: left;
}

table {
    border-collapse: collapse;
}

table.grid, table.grid td, table.grid th {
    border: 1px solid #000;
}

table.list th {
    border-bottom: 1px solid #000;
}

table.list td, table.list th {
    padding: 1px 5px;
}