:root {
    --base-color: #DBDBDB;
    --primary-color: #a2fc8f;
    --border: dashed 1px rgba(219, 219, 219, 0.9);
    --selection-background: rgba(219, 219, 219, 0.99);
    --selection-text: #000;
    --background-color: #000;
    --text-color: var(--base-color);
    --placeholder-color: var(--base-color);
    --link-color: var(--base-color);
}

:target {
    background-color: #333;
}

.container {
    width: 90%;
    max-width: 800px;
    margin-right: auto;
    margin-left: auto;
}

body {
    line-height: 1.5 !important;
    background-color: var(--background-color);
    color: var(--text-color);
    margin: 0 auto;
    padding: 0;
    font-family: "Source Code Pro", monospace;
    font-size: 12.5px;
    text-align: left;
}

h1, h2, h3, h4, h5, h6 {
    font-size: 12.5px;
    margin: 0;
    margin-top: 22px;
    font-weight: bold;
    color: var(--text-color);
}

a {
    text-decoration: underline;
    color: var(--link-color);
}

a:hover {
    color: var(--background-color);
    background-color: var(--base-color);
}

.menu {
    border-top: var(--border);
    border-bottom: var(--border);
    margin-bottom: 25px;
}

.menu ul {
    margin-top: 12px;
    margin-bottom: 12px;
    padding-left: 0;
    list-style-type: none;
    text-align: right;
}

.menu ul li {
    display: inline;
    margin-left: 10px;
}

.menu ul li a {
    text-decoration: none;
    color: var(--text-color);
}

.menu ul li a:hover {
    text-decoration: none;
    color: var(--background-color);
    background-color: var(--base-color);
}

input, textarea {
    font-size: 12.5px;
    border-color: var(--base-color);
    background-color: var(--background-color);
    color: var(--text-color);
    border-style: solid;

    margin-bottom: 5px;

    font-family: "Source Code Pro", monospace;
}

textarea, input:focus {
    outline: none;
}

input[type=submit]:focus {
    color: var(--background-color);
    background-color: var(--base-color);
}

input[type=submit]:hover {
    color: var(--background-color);
    background-color: var(--base-color);
}

::selection {
    outline: none;
    color: var(--background-color);
    background-color: var(--base-color);
}

.table_td {
    float: right;
    padding-right: 10px;
}

.thread_name {
    width: 80%;
}

.thread_table {
    margin-top: 15px;
    width: 100%;
}

hr {
    margin-top: 25px;
    color: var(--base-color);
    border: var(--border);
    border-bottom: 0;
}