styles.css 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581
  1. /* Reset a couple of things for the sake of ease */
  2. * {
  3. padding: 0;
  4. margin: 0;
  5. }
  6. /* Variables */
  7. /* Dark by default */
  8. :root {
  9. --color-background: #151515;
  10. --color-background-alternative: #4f4f4f;
  11. --color-text-default: #f0f0f0;
  12. --color-text-alternative: #808080;
  13. --color-accent-1: #f1c40f;
  14. --color-accent-2: #9b59b6;
  15. --color-accent-3: #1abc9c;
  16. }
  17. /* If the user has set a preference, respect it */
  18. @media (prefers-color-scheme: light) {
  19. :root {
  20. --color-background: #f0f0f0;
  21. --color-background-alternative: #afafaf;
  22. --color-text-default: #0e0e0e;
  23. --color-text-alternative: #4f4f4f;
  24. --color-accent-1: #3498db;
  25. --color-accent-2: #2ecc71;
  26. --color-accent-3: #e74c3c;
  27. }
  28. }
  29. /* Class-based switching for overriding the system preference */
  30. .light {
  31. --color-background: #f0f0f0;
  32. --color-background-alternative: #afafaf;
  33. --color-text-default: #0e0e0e;
  34. --color-text-alternative: #4f4f4f;
  35. --color-accent-1: #3498db;
  36. --color-accent-2: #2ecc71;
  37. --color-accent-3: #e74c3c;
  38. }
  39. .dark {
  40. --color-background: #151515;
  41. --color-background-alternative: #4f4f4f;
  42. --color-text-default: #f0f0f0;
  43. --color-text-alternative: #808080;
  44. --color-accent-1: #f1c40f;
  45. --color-accent-2: #9b59b6;
  46. --color-accent-3: #1abc9c;
  47. }
  48. /* End variables */
  49. /* General styles */
  50. body {
  51. transition: color 0.5s, background-color 0.5s;
  52. background-color: var(--color-background);
  53. color: var(--color-text-default);
  54. line-height: 1.6em;
  55. letter-spacing: 0.025em;
  56. font-family: "Noto sans", sans-serif;
  57. font-weight: 300;
  58. }
  59. main {
  60. max-width: 50vw;
  61. margin: 3em auto;
  62. overflow: hidden;
  63. clear: both;
  64. display: block;
  65. }
  66. section {
  67. margin: 1rem;
  68. }
  69. code {
  70. font-size: 1em;
  71. padding: 0 0.2em;
  72. margin: 1em auto 2em auto;
  73. font-family: "Hack", monospace;
  74. background-color: var(--color-background-alternative);
  75. }
  76. article {
  77. display: flex;
  78. flex-flow: row;
  79. flex-wrap: wrap;
  80. align-items: stretch;
  81. justify-content: stretch;
  82. background-color: var(--color-background-alternative);
  83. padding: 1em;
  84. margin: 1rem;
  85. }
  86. article h2 {
  87. font-family: "NotoSerif", serif;
  88. margin: 0;
  89. flex: 1;
  90. }
  91. article p {
  92. flex: 1;
  93. margin: 0;
  94. font-size: 0.8em;
  95. }
  96. section img {
  97. display: block;
  98. margin: 2em auto 0.2em auto;
  99. max-width: 100%;
  100. }
  101. section img + em {
  102. font-family: "NotoSerif", serif;
  103. font-size: 0.8em;
  104. text-align: center;
  105. display: block;
  106. }
  107. h1 {
  108. display: inline-block;
  109. font-family: "NotoSerif", serif;
  110. font-size: 2.4em;
  111. letter-spacing: 0.05em;
  112. line-height: 1.6em;
  113. }
  114. h2 {
  115. color: var(--color-text-alternative);
  116. font-family: "NotoSans", sans-serif;
  117. font-weight: 400;
  118. font-size: 1.2em;
  119. margin: 2em 0 1em 0;
  120. }
  121. h3 {
  122. display: block;
  123. margin: 1.6em 0 1em 0;
  124. font-family: "NotoSans", sans-serif;
  125. font-weight: bold;
  126. font-weight: 400;
  127. letter-spacing: 0.025em;
  128. font-size: 1em;
  129. line-height: 1.6em;
  130. }
  131. a,
  132. a:active,
  133. a:visited {
  134. background-color: var(--color-accent-1);
  135. color: var(--color-background);
  136. text-decoration: none;
  137. padding: 0 0.2em;
  138. }
  139. ul li {
  140. margin: 0.2em 0.2em 0.2em 2em;
  141. padding-left: 0.4em;
  142. }
  143. p {
  144. line-height: 1.75em;
  145. margin: 2em 0;
  146. }
  147. /* Footer */
  148. footer {
  149. margin-top: 6em;
  150. padding: 2em 0;
  151. color: var(--color-text-default);
  152. display: flex;
  153. margin: 3em auto 3.5em auto;
  154. max-width: 82vw;
  155. display: flex;
  156. flex-flow: row;
  157. flex-wrap: wrap;
  158. align-items: stretch;
  159. justify-content: stretch;
  160. }
  161. footer p {
  162. display: inline-block;
  163. flex: 1;
  164. padding: 1em 0 0.5em 0;
  165. font-size: 0.75em;
  166. text-align: center;
  167. color: var(--color-text-alternative);
  168. }
  169. /* Styles for pseudo-button links */
  170. .blocklink,
  171. .blocklink:active,
  172. .blocklink:visited {
  173. margin: 0.4em;
  174. border: 0.4em solid;
  175. border-color: var(--color-accent-3);
  176. background-color: var(--color-background);
  177. text-decoration: none;
  178. padding: 0.2em 0.5em;
  179. text-transform: uppercase;
  180. float: right;
  181. color: var(--color-text-default);
  182. font-weight: bold;
  183. }
  184. /* Header */
  185. header {
  186. margin: 3vw auto 2vw auto;
  187. display: flex;
  188. flex-flow: row;
  189. max-width: 80vw;
  190. padding: 1em;
  191. flex-wrap: wrap;
  192. }
  193. .breadcrumb {
  194. font-size: 0;
  195. font-family: "Hack", monospace;
  196. flex: 8;
  197. list-style-type: none;
  198. display: flex;
  199. flex-direction: row;
  200. align-items: center;
  201. flex-wrap: wrap;
  202. margin-bottom: 1vw;
  203. }
  204. .breadcrumb li {
  205. padding: 0;
  206. margin: 0;
  207. }
  208. .breadcrumb a {
  209. flex: 1;
  210. padding: 0;
  211. padding-left: 1em;
  212. padding-right: 2em;
  213. margin: 0;
  214. position: relative;
  215. line-height: 2rem;
  216. font-size: 1rem;
  217. color: var(--color-background);
  218. }
  219. .breadcrumb a:after {
  220. content: "";
  221. display: inline-block;
  222. width: 0;
  223. height: 0;
  224. position: absolute;
  225. right: 0;
  226. top: 0;
  227. }
  228. .breadcrumb a:nth-child(1n + 1) {
  229. background-color: var(--color-accent-1);
  230. }
  231. .breadcrumb a:nth-child(2n + 1) {
  232. background-color: var(--color-accent-2);
  233. }
  234. .breadcrumb a:nth-child(3n + 1) {
  235. background-color: var(--color-accent-3);
  236. }
  237. .breadcrumb a:nth-child(1n + 1):after {
  238. border-top: 1rem solid var(--color-accent-2);
  239. border-bottom: 1rem solid var(--color-accent-2);
  240. border-left: 1rem solid transparent;
  241. }
  242. .breadcrumb a:nth-child(2n + 1):after {
  243. border-top: 1rem solid var(--color-accent-3);
  244. border-bottom: 1rem solid var(--color-accent-3);
  245. border-left: 1rem solid transparent;
  246. }
  247. .breadcrumb a:nth-child(3n + 1):after {
  248. border-top: 1rem solid var(--color-accent-1);
  249. border-bottom: 1rem solid var(--color-accent-1);
  250. border-left: 1rem solid transparent;
  251. }
  252. .breadcrumb a:last-child {
  253. border: none;
  254. padding-right: 1rem;
  255. }
  256. .breadcrumb a:last-child:after {
  257. border: none;
  258. display: none;
  259. }
  260. /* Dark/light mode switches */
  261. .switches {
  262. display: flex;
  263. align-content: space-around;
  264. align-items: flex-start;
  265. justify-content: flex-start;
  266. flex: 1;
  267. margin-bottom: 1vw;
  268. }
  269. .switches svg {
  270. height: 1.4em;
  271. width: 1.4em;
  272. }
  273. .lightswitch,
  274. .darkswitch {
  275. display: flex;
  276. align-content: space-around;
  277. align-items: center;
  278. justify-content: center;
  279. border: none;
  280. border-radius: 0;
  281. color: var(--color-background);
  282. height: 2em;
  283. width: 2em;
  284. }
  285. .lightswitch {
  286. background-color: var(--color-background-alternative);
  287. color: var(--color-text-default);
  288. }
  289. .darkswitch {
  290. background-color: var(--color-accent-3);
  291. }
  292. @media (prefers-color-scheme: light) {
  293. .darkswitch {
  294. background-color: var(--color-background);
  295. background-color: var(--color-background-alternative);
  296. color: var(--color-text-default);
  297. }
  298. .lightswitch {
  299. background-color: var(--color-accent-3);
  300. }
  301. }
  302. .light .darkswitch {
  303. background-color: var(--color-background-alternative);
  304. color: var(--color-text-default);
  305. }
  306. .light .lightswitch {
  307. background-color: var(--color-accent-3);
  308. }
  309. /* To display uls as a file tree-like list */
  310. .filetree {
  311. margin-bottom: 3em;
  312. }
  313. .filetree,
  314. .filetree ul,
  315. .filetree li {
  316. position: relative;
  317. }
  318. .filetree li {
  319. margin: 0.6em 0;
  320. }
  321. .filetree ul {
  322. list-style: none;
  323. padding-left: 3.2em;
  324. }
  325. .filetree li::before,
  326. .filetree li::after {
  327. content: "";
  328. position: absolute;
  329. left: -1.2em;
  330. }
  331. .filetree li::before {
  332. border-top: 0.1em solid var(--color-text-default);
  333. top: 0.8em;
  334. width: 0.8em;
  335. height: 0;
  336. }
  337. .filetree li::after {
  338. border-left: 0.1em solid var(--color-text-default);
  339. height: 2.6em;
  340. width: 0;
  341. top: 0.2em;
  342. }
  343. .filetree ul > li:last-child::after {
  344. height: 0.7em;
  345. }
  346. /* Contact card */
  347. .contact-card li {
  348. display: inline;
  349. margin: 0 1em 1em 0;
  350. padding-left: 0;
  351. }
  352. .contact-card svg {
  353. height: 1.4em;
  354. width: 1.4em;
  355. margin-right: 0.4em;
  356. }
  357. .contact-card a {
  358. display: inline-flex;
  359. flex-direction: row;
  360. align-content: space-around;
  361. align-items: center;
  362. justify-content: flex-start;
  363. text-decoration: none;
  364. }
  365. .article-meta {
  366. display: flex;
  367. padding-top: 4em;
  368. font-size: 0.8em;
  369. flex-direction: column;
  370. }
  371. .article-meta span {
  372. display: inline-block;
  373. flex: 1;
  374. }
  375. .no-margin {
  376. margin: 0;
  377. }
  378. /* Smaller screen tweaks */
  379. @media screen and (max-width: 940px) {
  380. body {
  381. font-size: 22px;
  382. }
  383. .switches button {
  384. font-size: 22px;
  385. }
  386. main {
  387. max-width: 90vw;
  388. margin: 2em auto;
  389. }
  390. article {
  391. flex-flow: column;
  392. }
  393. article p {
  394. margin-top: 1em;
  395. }
  396. header {
  397. max-width: 90vw;
  398. margin-bottom: 2em;
  399. flex-flow: column;
  400. }
  401. footer {
  402. flex-flow: column;
  403. max-width: 90vw;
  404. }
  405. footer p {
  406. border-bottom: none;
  407. }
  408. }
  409. /* Fonts */
  410. @font-face {
  411. font-family: "Noto sans";
  412. src: local("Noto Sans Regular"), local("Noto Sans"),
  413. url("/fonts/notosans-regular.woff2") format("woff2"),
  414. url("/fonts/notosans-regular.woff") format("woff"),
  415. url("/fonts/notosans-regular.ttf") format("truetype");
  416. font-weight: normal;
  417. font-style: normal;
  418. font-display: swap;
  419. }
  420. @font-face {
  421. font-family: "Hack";
  422. src: local("Hack Regular"), local("Hack"),
  423. url("/fonts/hack-regular.woff2") format("woff2"),
  424. url("/fonts/hack-regular.woff") format("woff"),
  425. url("/fonts/hack-regular.ttf") format("truetype");
  426. font-weight: normal;
  427. font-style: normal;
  428. font-display: swap;
  429. }
  430. @font-face {
  431. font-family: "Hack";
  432. src: local("Hack Italic"), local("Hack-Italic"),
  433. url("/fonts/hack-italic.woff2") format("woff2"),
  434. url("/fonts/hack-italic.woff") format("woff"),
  435. url("/fonts/hack-italic.ttf") format("truetype");
  436. font-weight: normal;
  437. font-style: italic;
  438. font-display: swap;
  439. }
  440. @font-face {
  441. font-family: "Hack";
  442. src: local("Hack Bold"), local("Hack-Bold"),
  443. url("/fonts/hack-bold.woff2") format("woff2"),
  444. url("/fonts/hack-bold.woff") format("woff"),
  445. url("/fonts/hack-bold.ttf") format("truetype");
  446. font-weight: bold;
  447. font-style: normal;
  448. font-display: swap;
  449. }
  450. @font-face {
  451. font-family: "NotoSerif";
  452. src: local("NotoSerif Regular"), local("NotoSerif"),
  453. url("/fonts/notoserif-regular.woff2") format("woff2"),
  454. url("/fonts/notoserif-regular.woff") format("woff"),
  455. url("/fonts/notoserif-regular.ttf") format("truetype");
  456. font-weight: normal;
  457. font-style: normal;
  458. font-display: swap;
  459. }
  460. /* Arta HighlightJS theme */
  461. .hljs {
  462. display: block;
  463. overflow-x: auto;
  464. padding: 0.5em;
  465. background: #222;
  466. }
  467. .hljs,
  468. .hljs-subst {
  469. color: #aaa;
  470. }
  471. .hljs-section {
  472. color: #fff;
  473. }
  474. .hljs-comment,
  475. .hljs-quote,
  476. .hljs-meta {
  477. color: #444;
  478. }
  479. .hljs-string,
  480. .hljs-symbol,
  481. .hljs-bullet,
  482. .hljs-regexp {
  483. color: #ffcc33;
  484. }
  485. .hljs-number,
  486. .hljs-addition {
  487. color: #00cc66;
  488. }
  489. .hljs-built_in,
  490. .hljs-builtin-name,
  491. .hljs-literal,
  492. .hljs-type,
  493. .hljs-template-variable,
  494. .hljs-attribute,
  495. .hljs-link {
  496. color: #32aaee;
  497. }
  498. .hljs-keyword,
  499. .hljs-selector-tag,
  500. .hljs-name,
  501. .hljs-selector-id,
  502. .hljs-selector-class {
  503. color: #6644aa;
  504. }
  505. .hljs-title,
  506. .hljs-variable,
  507. .hljs-deletion,
  508. .hljs-template-tag {
  509. color: #bb1166;
  510. }
  511. .hljs-section,
  512. .hljs-doctag,
  513. .hljs-strong {
  514. font-weight: bold;
  515. }
  516. .hljs-emphasis {
  517. font-style: italic;
  518. }