2023-05-26 23:48:50 -04:00
|
|
|
:root {
|
|
|
|
--light-warm-gray: #C2B3A9;
|
|
|
|
--dark-warm-gray: #A59990;
|
|
|
|
--teal: #5B90A4;
|
|
|
|
--light-blue: #8C97A8;
|
|
|
|
--dark-blue: #696F80;
|
|
|
|
--true-gray: #999999;
|
|
|
|
--highlight-green: green;
|
|
|
|
--highlight-red: red;
|
2023-05-28 00:42:07 -04:00
|
|
|
--transparent: #FFFFFFBB;
|
2023-05-26 23:48:50 -04:00
|
|
|
|
|
|
|
box-sizing: border-box;
|
2023-06-01 00:08:30 -04:00
|
|
|
font-size: calc(10px + 1vmin);
|
2023-06-04 23:01:37 -04:00
|
|
|
cursor: url('/cursors/arrow.cur'), auto;
|
2023-05-26 23:48:50 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
*, ::before, ::after { box-sizing: inherit; }
|
|
|
|
|
2023-06-04 22:21:33 -04:00
|
|
|
@font-face {
|
|
|
|
font-family: 'w95fa';
|
|
|
|
src: url('/fonts/w95fa.woff2') format('woff2');
|
|
|
|
}
|
|
|
|
|
|
|
|
@font-face {
|
|
|
|
font-family: 'fsex300';
|
|
|
|
src: url('/fonts/fsex300.woff2') format('woff2');
|
|
|
|
}
|
|
|
|
|
2023-05-26 23:48:50 -04:00
|
|
|
body {
|
2023-05-27 00:54:49 -04:00
|
|
|
background-image: url('/images/background_stars_anm.gif');
|
2023-05-26 23:48:50 -04:00
|
|
|
width: 95vmin;
|
|
|
|
margin: 0 auto;
|
2023-06-04 22:21:33 -04:00
|
|
|
font-family: 'w95fa', sans-serif;
|
2023-05-26 23:48:50 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
background-color: black;
|
|
|
|
color: lime;
|
2023-06-04 22:21:33 -04:00
|
|
|
font-family: "fsex300", monospace;
|
2023-05-26 23:48:50 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
pre > code {
|
|
|
|
white-space: pre-wrap;
|
|
|
|
padding: 0.5em 1em;
|
|
|
|
display: inline-block;
|
|
|
|
width: 100%;
|
2023-07-08 00:52:11 -04:00
|
|
|
overflow-wrap: anywhere;
|
2023-05-26 23:48:50 -04:00
|
|
|
}
|
2023-06-04 23:01:37 -04:00
|
|
|
|
2023-07-12 22:22:12 -04:00
|
|
|
a:hover, button { cursor: url('/cursors/finger.cur'), auto; }
|
2023-06-14 11:38:04 -04:00
|
|
|
|
|
|
|
img { max-width: 100%; }
|
2023-06-14 12:58:40 -04:00
|
|
|
|
|
|
|
blockquote {
|
|
|
|
border-left: solid black;
|
|
|
|
padding-left: 0.25em;
|
2023-08-12 01:47:40 -04:00
|
|
|
margin: 1em 0.25em;
|
2023-06-14 12:58:40 -04:00
|
|
|
}
|
2023-07-05 23:18:29 -04:00
|
|
|
|
2023-07-17 01:49:33 -04:00
|
|
|
p, h1, h2, h3, h4, h5, h6, label, code, ul, ol { cursor: text; }
|
2023-08-12 01:47:40 -04:00
|
|
|
|
2023-08-13 10:22:04 -04:00
|
|
|
ol, ul { padding-left: 1.25em; }
|