:root {
    --white-color: #F0F0F0;
    --blue-color: #3C486B;
    --yellow-color: #F9D949;
    --red-color: #F45050;
}

html {
    font-family: Lucida Console,Lucida Sans Typewriter,monaco,Bitstream Vera Sans Mono,monospace;
    font-size: 16px;
    counter-reset: lines;
    background-color: var(--white-color);
    color: var(--blue-color);

    -ms-overflow-style: none;  /* IE and Edge */
    scrollbar-width: none;
}

html::-webkit-scrollbar {
  display: none;
}

body {
    display: flex;
    flex-direction: row;
    align-items: start;
    justify-content: center;

    background: radial-gradient(circle at center, rgb(from var(--blue-color) r g b / 5%) 2px, transparent 0);
    background-size: 16px 16px;
    background-repeat: round;

    padding-top: 64px;
    /*padding-bottom: 64px;*/
    height: 100vh;
    /*min-height: fit-content;*/
    box-sizing: border-box;
}

h2 {
    margin: 4px;
    font-size: 2rem;
    font-weight: 900;
    background-color: var(--blue-color);
    color: var(--white-color);
    padding: 0.5ch;
    padding-left: 1ch;
    padding-right: 2ch;
}

h3 {
    margin: 4px;
    font-size: 1.6rem;
    font-weight: 900;
}

h4 {
    margin: 4px;
    font-size: 1.4rem;
    font-weight: 900;
}

h5 {
    margin: 4px;
    font-size: 1.2rem;
    font-weight: 900;
}

.highlight {
    color: var(--blue-color);
    background: var(--yellow-color);
}



.menu {
    padding-top: 1ch;
    padding-bottom: 1ch;
    height: fit-content;
    width: fit-content;
    min-width: 18ch;
    margin: 4px;

    background-color: var(--white-color);
    border-color: var(--blue-color);
    border-width: 2px;
    border-style: solid;

    display: flex;
    flex-direction: column;

}

.menu > a {
    padding: 1ch;
    padding-left: 3ch;
    line-height: 1ch;
    text-decoration: none;
    color: var(--blue-color);
    display: block;
    position: relative;
}

.menu > a:hover {
    background: radial-gradient(circle at center, var(--blue-color) 1px, transparent 0),
                radial-gradient(circle at center, var(--blue-color) 1px, transparent 0),
                var(--white-color);
    background-size: 8px 8px;
    background-repeat: round;
    background-position: 0 0, 4px 4px, 0 0;
}

.text-border > div {
    display: block;
    position: relative;
}

.text-border > div > *:first-child {
    -webkit-text-stroke: 6px var(--white-color);
}

.text-border > div > *:last-child {
    position: absolute;
    left: 0;
    top: 0;
    margin: 0;
    color: var(--blue-color);
}

.menu > a::before {
    content: '';
    border-color: var(--blue-color);
    border-width: 1px;
    border-style: solid;
    position: absolute;
    top: 0;
    left: 1.5ch;
    width: 0;
    height: 3ch;
}

.menu > span {
    padding: 1ch;
}

.container {
    height: 100vh;
    width: min-content;
    display: flex;
    flex-direction: column;
    align-items: start;
    justify-content: start;
    margin-top: -64px;
    padding-top: 64px;
    padding-bottom: 128px;
    box-sizing: border-box;

    overflow-y: scroll;
    -ms-overflow-style: none;  /* IE and Edge */
    scrollbar-width: none;
}

input, button {
    background-color: var(--white-color);
    border-color: var(--blue-color);
    border-width: 2px;
    border-style: solid;
    padding: 0.5ch;
    font-family: inherit;
    font-size: inherit;
    margin-top: 1ch;
    color: var(--blue-color);
}

.error {
    border-color: var(--red-color);
    border-width: 2px;
    border-style: solid;
}

.message {
    margin: 1ch;
    align-self: center;
}

input[type='submit']:hover, button:hover {
    background: radial-gradient(circle at center, var(--blue-color) 1px, transparent 0),
                radial-gradient(circle at center, var(--blue-color) 1px, transparent 0),
                var(--white-color);
    background-size: 8px 8px;
    background-repeat: round;
    background-position: 0 0, 4px 4px, 0 0;
}

input[type='submit']:active, button:active {
    background: radial-gradient(circle at center, var(--blue-color) 1px, transparent 0),
                radial-gradient(circle at center, var(--blue-color) 1px, transparent 0),
                var(--white-color);
    background-size: 6px 6px;
    background-repeat: round;
    background-position: 0 0, 3px 3px, 0 0;
}

button {
    height: fit-content;
    display: flex;
    flex-direction: column;
    align-items: center;
}

.grow-wrap {
  display: grid;
  margin-top: 1ch;
  margin-bottom: 1ch;
}
.grow-wrap::after {
  content: attr(data-replicated-value) " ";
  white-space: pre-wrap;
  visibility: hidden;
}
.grow-wrap > textarea {
  resize: none;
  overflow: hidden;
}

.grow-wrap > textarea,
.grow-wrap::after {
  background-color: var(--white-color);
  width: 81ch;
  font-family: inherit;
  font-size: inherit;
  line-height: 1.2rem;
  padding: calc(0.5ch - 2px);
  box-sizing: border-box;
  border-color: var(--blue-color);
  border-width: 2px;
  border-style: solid;
  color: var(--blue-color);
  grid-area: 1 / 1 / 2 / 2;
}

.box {
    height: fit-content;
    margin: 4px;
    padding: 1ch;
    padding-right: 2ch;
    padding-left: 4ch;
    width: 81ch;

    background-color: var(--white-color);
    border-color: var(--blue-color);
    border-width: 2px;
    border-style: solid;

    display: flex;
    flex-direction: column;

    text-decoration: none;
    color: var(--blue-color)
}

.header {
    margin-bottom: 1ch;
    margin-top: 1ch;
}

.author {
    /*background-color: var(--blue-color);
    color: var(--white-color);*/
    padding: 0.2ch;
    padding-right: 0.8ch;
}

.date {
    opacity: 0.7;
}

.lines {
    background-color: var(--white-color);
    padding-left: 4ch;
    width: 81ch;
    margin-left: -4ch;
    min-height: calc(30 * 1.2em);
    line-height: 1.2em;
}

.line {
    display: block;
    position: relative;
    min-height: 1.2em;
}

.line::before {
    counter-increment: lines;
    content: counter(lines);
    color: var(--blue-color);
    opacity: 0.25;
    position: absolute;
    left: -4ch;
    width: 3ch;
    text-align: end;
}

::selection {
    color: var(--blue-color);
    background: var(--yellow-color);
}

a {
    color: var(--red-color);
}