body {
    background: #ccc;
    margin: 0;
}
footer {
    margin: 0.5em;
}
header {
    background: linear-gradient(#333, #000);
    width: 100%;
}
header .title {
    color: #ccc;
    display: inline-block;
    font-family: sans-serif;
    font-size: 200%;
    line-height: 1.2em;
    margin: 1em;
}
header .title a {
    color: inherit;
    text-decoration: none;
}
main {
    background: white;
    display: table-cell;
    position: relative;
    vertical-align: top;
    width: 100%;
}
main::after {
    background: linear-gradient(#333, #000);
    content: '';
    position: absolute;
    bottom: 100%;
    left: 0;
    width: 100%;
    height: 6.4em;
    z-index: -1;
}
nav {
    background: linear-gradient(to right, #00a, #006);
    display: table-cell;
    font-family: sans-serif;
    font-weight: bold;
    white-space: nowrap;
    vertical-align: top;
}
nav ul {
    list-style-type: none;
    margin: 0.5em 1em;
    padding: 0;
}
nav ul > li {
    padding: 0.1em;
}
nav ul > li > a {
    color: #0cc;
    text-decoration: none;
}
nav ul > li > a:hover {
    color: #f80;
}
.t1 {
    display: table;
}
.markdown-rendered mjx-container {
    overflow-x: scroll;
}