style.css

* {
    font-family: sans-serif;
}

body {
    max-width: 60rem;
    margin: auto;
    padding: 8px 8px 30px 8px;
}

.code {
    font-family: monospace;
    font-size: 1.07em;
    word-break: break-all;
}

.code-mb {
    font-family: monospace;
    font-size: 1.07em;
}

.code-block {
    max-width: 47rem;
    background-color: #222;
    color: #eee;
    margin: auto;
    padding-top: 0.6em;
    padding-bottom: 0.6em;
    padding-left: 0.6em;
    font-family: monospace;
    font-size: 0.7rem;
}

.code-block-ellipsis {
    color: #ccc;
}

.code-block-new-code {
    color: #8f8;
    font-family: monospace;
}

.code-image {
    border: solid black 1px;
    max-width: 100%;
    margin-left: auto;
    margin-right: auto;
    display: block;
    background-color: lightgray;
    overflow: hidden;
}

.command {
    max-width: 100%;
    background-color: #eee;
    margin-top: 0.6em;
    margin-bottom: 0.6em;
    margin-right: 0.8em;
    padding-top: 0.6em;
    padding-bottom: 0.6em;
    padding-left: 0.6em;
    font-family: monospace;
    font-size: 1.1em;
}

.console-output {
    max-width: 100%;
    background-color: #222;
    color: #eee;
    margin-top: 0.6em;
    margin-bottom: 0.6em;
    margin-right: 0.8em;
    padding-top: 0.6em;
    padding-bottom: 0.6em;
    padding-left: 0.6em;
    font-family: monospace;
    font-size: 0.8em;
}

.form {
    text-align: center;
    border: 1px solid black;
    border-radius: 1rem;
    max-width: 30rem;
    margin: auto;
    padding: 1rem 1rem 0 1rem;
}

.form-input-container {
    width: 100%;
    margin-bottom: 1rem;
}

.form-label {
    margin-bottom: 0.2rem;
    text-align: left;
    width: 99%;
}

.form-input {
    width: 99%;
    padding: 0.3rem;
    box-sizing: border-box;
    border-radius: 0.5rem;
    border: 1px solid #ccc;
    outline: none;
}

.form-input-valid {
    background-color: #efe;
}

.form-input-invalid {
    background-color: #fee;
}

.form-input-disabled {
    color: #777;
    pointer-events: none;
    font-style: italic;
}

.form-submit {
    border: 1px solid #080;
    border-radius: 0.5rem;
    padding: 0.5rem;
    text-decoration: none;
    color: white;
    margin: auto;
    cursor: pointer;
    user-select: none;
    background-color: #484;
}

.pad {
    white-space: pre;
    font-family: monospace;
}

.quote {
    max-width: 100%;
    background-color: #eee;
    margin-top: 0.6em;
    margin-bottom: 0.6em;
    margin-right: 0.8em;
    padding-top: 0.6em;
    padding-bottom: 0.6em;
    padding-left: 0.6em;
    padding-right: 0.6em;
}

.table {
    display: table;
    border: 1px solid gray;
    border-radius: 0.5rem;
    margin: 0.5rem 0 0.5rem 0;
    font-size: 0.8rem;
    margin: auto;
}

.table div {
    padding: 0.1rem;
}

.header-row > div {
    background-color: #ddd;
}

.header-row > div:first-child {
    border-top-left-radius: 0.5rem;
}

.header-row > div:last-child {
    border-top-right-radius: 0.5rem;
}

.header-row {
    display: table-row;
}

.header-row > div {
    display: table-cell;
}

.header-row > div:not(:first-child) {
    border-left: 1px solid gray;
}

.data-row {
    display: table-row;
}

.data-row > div {
    display: table-cell; border-top: 1px solid gray;
}

.data-row > div:not(:first-child) {
    border-left: 1px solid gray;
}

.row-inverted {
    display: table-row;
}

.row-inverted > div {
    display: table-cell;
}

.row-inverted:not(:first-child) > div {
    border-top: 1px solid gray;
}

.row-inverted > div:first-child {
    background-color: #ddd;
}

.row-inverted:first-child > div:first-child {
    border-top-left-radius: 0.5rem;
}

.row-inverted:last-child > div:first-child {
    border-bottom-left-radius: 0.5rem;
}

.row-inverted > div:not(:first-child) {
    border-left: 1px solid gray;
}

.emphasis {
    font-style: italic;
    font-weight: bold;
}

.extra-wrap {
    word-break: break-all;
}

.filename {
    font-family: monospace;
    font-size: 1.07em;
}

.footnote {
    font-size: 0.7rem;
    border-radius: 0.5rem;
    padding: 0.5rem;
    border: 1px solid gray;
    background-color: #eee;
}

.hover-button {
    color: black;
    text-decoration: none;
    margin: 0.1rem;
    padding: 0.5rem;
    border: 1px solid #aaa;
    cursor: default;
    border-radius: 0.5rem;
    display: inline-block;
    background-color: rgba(0,0,0,0.03);
}

.hover-button-selected {
    background-color: rgba(0,0,0,0.3);
    cursor: default;
}

.hover-button:hover {
    background-color: rgba(0,0,0,0.3);
}

.italic {
    font-style: italic;
}

.private-seed {
    font-family: monospace;
    font-size: 1.07em;
    background-color: rgba(255,0,0,0.1);
}

.strikethrough {
    text-decoration: line-through;
}

.username {
    font-family: monospace;
    font-size: 1.07em;
}

.verifier-name {
    font-family: monospace;
    font-size: 1.07em;
    font-style: italic;
}

.public-identifier {
    font-family: monospace;
    font-size: 0.7rem;
    color: #060;
    background-color: #cec;
    padding: 0.1rem;
    word-break: break-all;
    line-height: 1.3rem;
    border-radius: 0.2rem;
}