html {
    margin: 0;
    padding: 0;
}


body {
    display: grid;
    grid-template-areas:
        "header header"
        "navigator navigator"
        "menubar body"
        "menubar note"
        "menubar attach"
        "menubar related"
        "menubar lastmodified"
        "footer footer";
    grid-template-columns: auto 1fr;
    grid-template-rows: auto auto 1fr auto auto auto auto;
    min-height: 1vh;
    margin: 0;
    padding: 16px;
    background: linear-gradient(to bottom, #ead8cd 0, white 112px);
}

div#header {
    display: flex;
    grid-area: header;
}

div#navigator {
    display: flex;
    justify-content: flex-end;
    grid-area: navigator;
    margin: 1rem 0;
    padding: 0;
    color: white;

    background: linear-gradient(to bottom, #490000 0, #970000 100%);
    border: 1px solid #490101;
    box-shadow: rgba(72, 0, 0, 0.5) 0 0 8px, rgba(255, 255, 255, 0.25) 0 0 0 1px inset;
}

div#navigator a {
    position: relative;
    display: flex;
    color: white;
    font-size: 90%;
    margin: 0;
    padding: 0.5em 1em;
    box-sizing: border-box;
    min-width: 80px;
    justify-content: center;
}

div#navigator:after,
div#navigator a:before {
    position: absolute;
    top: 0;
    left: -1px;
    display: block;
    width: 1px;
    height: 100%;
    background: #490101;
    box-shadow: rgba(255, 255, 255, 0.25) 1px 0 0, rgba(255, 255, 255, 0.25) -1px 0 0;
    content: "";
}

div#navigator:after,
div#navigator a.top,
div#navigator a.new,
div#navigator a.list {
    order: -1;
}

div#navigator:after {
    position: static;
    margin-right: auto;
}

div#body {
    grid-area: body;
}

div#menubar {
    grid-area: menubar;
}

div#note {
    grid-area: note;
}

div#attach {
    grid-area: attach;
}

div#related {
    grid-area: related;
}

div#lastmodified {
    grid-area: lastmodified;
    text-align: right;
}

div#footer {
    grid-area: footer;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    color: #480000;
    background: none;
    border: none;
    border-bottom: 1px solid #480000;
    margin-top: 0.5em;
    padding: 0.1em 0;
}

h3,
h4,
h5,
h6 {
    border-bottom-width: 3px;
    border-bottom-style: double;
}

#body h1:first-child {
    margin-top: 0;
    font-size: 150%;
}

.style_table {
    margin: 0;
}