2021-10-23 10:10:55 -07:00
|
|
|
@use '../vendor/highlight.js/src/styles/github-dark.css';
|
|
|
|
|
|
|
|
$padding: 1em;
|
|
|
|
|
2021-10-22 19:15:23 -07:00
|
|
|
@font-face {
|
|
|
|
font-family: "Mplus Code";
|
|
|
|
src: url("./MplusCodeLatin[wdth,wght].ttf") format("truetype");
|
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
|
|
|
background-color: #404040;
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
2021-10-23 10:10:55 -07:00
|
|
|
.unselectable {
|
|
|
|
user-select: none;
|
2021-10-22 19:15:23 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
hr {
|
2021-10-23 10:10:55 -07:00
|
|
|
@extend .hljs;
|
|
|
|
margin: $padding 0;
|
2021-10-22 19:15:23 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
main {
|
|
|
|
display: inline-flex;
|
|
|
|
min-width: 100%;
|
|
|
|
justify-content: center;
|
|
|
|
}
|
|
|
|
|
|
|
|
.paste {
|
2021-10-23 10:10:55 -07:00
|
|
|
@extend .hljs;
|
|
|
|
border-radius: $padding;
|
|
|
|
margin: $padding;
|
|
|
|
padding: 2 * $padding;
|
|
|
|
box-shadow: 0 0 $padding black;
|
2021-10-22 19:15:23 -07:00
|
|
|
min-width: 120ch;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hljs {
|
|
|
|
font-family: 'Mplus Code', sans-serif;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hljs-ln td.hljs-ln-numbers {
|
|
|
|
text-align: right;
|
2021-10-23 10:10:55 -07:00
|
|
|
padding-right: $padding;
|
2021-10-22 19:15:23 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
.centered {
|
|
|
|
display: flex;
|
|
|
|
flex-direction: column;
|
|
|
|
align-items: center;
|
|
|
|
justify-content: center;
|
|
|
|
}
|
|
|
|
|
2021-10-23 10:10:55 -07:00
|
|
|
.fullscreen {
|
|
|
|
min-height: 100vh;
|
|
|
|
min-width: 100vw;
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
2021-10-22 19:15:23 -07:00
|
|
|
.display-anyways {
|
2021-10-24 02:25:42 -07:00
|
|
|
margin-top: 4em;
|
2021-10-22 19:15:23 -07:00
|
|
|
text-decoration: underline;
|
2021-10-24 02:25:42 -07:00
|
|
|
cursor: pointer;
|
2021-10-22 19:15:23 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
img {
|
|
|
|
margin-bottom: 4em;
|
2021-10-23 10:10:55 -07:00
|
|
|
max-height: 75vh;
|
|
|
|
max-width: 75vw;
|
|
|
|
border-radius: $padding;
|
2021-10-22 19:15:23 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
.primary {
|
2021-10-23 10:10:55 -07:00
|
|
|
@extend .hljs;
|
2021-10-24 02:25:42 -07:00
|
|
|
}
|