/* Fonts will be loaded from system */
html,
body {
font-family: "Signifier", serif;
overscroll-behavior: none;
margin: 0;
padding: 0;
height: 100%;
}
header,
footer {
padding: 20px;
}
a {
color: inherit;
}
li {
margin-bottom: 10px;
}
.graph-background {
background-image:
linear-gradient(to right, rgba(200, 200, 200, 0.4) 1px, transparent 1px),
linear-gradient(to bottom, rgba(200, 200, 200, 0.4) 1px, transparent 1px);
background-size: 3vw 3vw;
}
.terminal-cursor {
display: inline-block;
width: 10px;
height: 1em;
background-color: white;
border: 1px solid black;
vertical-align: text-top;
animation: blink 1s step-start infinite;
}
@keyframes blink {
50% {
background-color: transparent;
border-color: transparent;
}
}
.terminal-container {
font-family: "Courier New", monospace;
}
:not(pre) > code {
font-family: "Courier New", Courier, monospace;
margin: 0 5px;
font-size: 0.8em;
white-space: nowrap;
border: 1px solid #e1e1e1;
background-color: #f4f4f4;
border-radius: 4px;
display: inline-block;
padding: 0.2em 0.4em;
max-width: 100%;
user-select: all;
}
pre code {
font-family: "Snowflake", "Courier New", monospace;
font-size: 0.95rem;
line-height: 1.5;
background: transparent;
white-space: pre;
overflow-x: auto;
}
.hljs-ln-numbers {
text-align: right;
color: #999;
border-right: 10px solid #ffffff;
user-select: none;
}