figcaption {
        display: none;
}

@font-face {
        font-family: "Noto Sans Mono";
        src: url(/font/Noto_Sans_Mono/NotoSansMono-VariableFont_wdth,wght.ttf)
}

@font-face {
        font-family: "Noto Sans";
        src: url(/font/Noto_Sans/NotoSans-VariableFont_wdth,wght.ttf)
}

:root {
        --bg1: #000000;
        --fg1: #ffffff;
        --hl1: #00ff41;

        --bg2: #0d0208;
        --fg2: #e0e0e0;
        --hl2: #008f11;

        --hl3: #003b00;
        --hl4: #0d0208;

}

body {
        background-color: var(--bg1);
        color: var(--fg2);
        font-family: 'Noto Sans', sans-serif;
        font-size: 12px;
        line-height: 120%;
        margin-left:auto;
        margin-right:auto;
        text-align: left;
}

code {
        font-family: 'Noto Sans Mono', monospace;
}

img {
        max-width: 100%;
        max-height: 100%;
}

a:link {
        color: var(--hl1);
}

a:visited {
        color: var(--hl2);
}

a:hover {
        color: var(--hl1);
}

header h1 {
        font-size: 35px;
        margin-bottom: 15px;
        text-align:center;
}


table td, table td * {
        vertical-align: top;
}

blockquote {
        font-style: italic;
}

.grid {
        padding: 40px;
        padding-top: 5px;
        padding-bottom: 0px;
        margin: auto;
}
.main {
        padding: 40px;
        padding-top: 5px;
        padding-bottom: 20px;
        margin: auto;
}

.left {
        border: 1px solid var(--hl3);
        margin-bottom: 4px;
}

.left p, .left ul {
        margin: 0px;
        padding-left: 10px;
}

.applet {
        padding: 5px;
        padding-right: 10px;
}

.right {
        width: 600px;
        background-color: var(--bg2);
        color: var(--bg);
        border: 1px solid var(--hl3);
        padding: 0px;
        margin-bottom: 20px;
        margin-left:auto;
        margin-right:auto;
}

.right p, .right figure, .right ul {
        margin-bottom: 10px;
        margin-top: 10px;
}

.right figure {
        margin-left: auto;
        margin-right: auto;
}

.right pre {
        padding-left: 20px;
}


.banner {
        background-color: var(--hl3);
        color: var(--fg2);
        padding: 4px;
}

.banner p {
        margin: 0px;
}

.banner a {
        color: var(--fg1);
}

.cont {
        text-align: right;
}

.footer {
        text-align: right;
        margin-top: 20px;
}