styles.css 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601
  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. table {
  108. text-align: left;
  109. width: -moz-available;
  110. width: -webkit-fill-available;
  111. }
  112. tr {
  113. padding: 0.3em 0;
  114. }
  115. td {
  116. padding: 0 0.3em;
  117. }
  118. th {
  119. background-color: var(--color-background-alternative);
  120. color: var(--color-accent-1);
  121. padding: 0 0.3em;
  122. }
  123. h1 {
  124. display: inline-block;
  125. font-family: "NotoSerif", serif;
  126. font-size: 2.4em;
  127. letter-spacing: 0.05em;
  128. line-height: 1.6em;
  129. }
  130. h2 {
  131. color: var(--color-text-alternative);
  132. font-family: "NotoSans", sans-serif;
  133. font-weight: 400;
  134. font-size: 1.2em;
  135. margin: 3.6em 0 1em 0;
  136. }
  137. h3 {
  138. display: block;
  139. margin: 1.6em 0 1em 0;
  140. font-family: "NotoSans", sans-serif;
  141. font-weight: bold;
  142. font-weight: 400;
  143. letter-spacing: 0.025em;
  144. font-size: 1em;
  145. line-height: 1.6em;
  146. }
  147. a,
  148. a:active,
  149. a:visited {
  150. background-color: var(--color-accent-1);
  151. color: var(--color-background);
  152. text-decoration: none;
  153. padding: 0 0.2em;
  154. }
  155. ul li {
  156. margin: 0.2em 0.2em 0.2em 2em;
  157. padding-left: 0.4em;
  158. }
  159. p {
  160. line-height: 1.75em;
  161. margin: 2em 0;
  162. }
  163. /* Footer */
  164. footer {
  165. margin-top: 6em;
  166. padding: 2em 0;
  167. color: var(--color-text-default);
  168. display: flex;
  169. margin: 3em auto 3.5em auto;
  170. max-width: 82vw;
  171. display: flex;
  172. flex-flow: row;
  173. flex-wrap: wrap;
  174. align-items: stretch;
  175. justify-content: stretch;
  176. }
  177. footer p {
  178. display: inline-block;
  179. flex: 1;
  180. padding: 1em 0 0.5em 0;
  181. font-size: 0.75em;
  182. text-align: center;
  183. color: var(--color-text-alternative);
  184. }
  185. /* Styles for pseudo-button links */
  186. .blocklink,
  187. .blocklink:active,
  188. .blocklink:visited {
  189. margin: 0.4em;
  190. border: 0.4em solid;
  191. border-color: var(--color-accent-3);
  192. background-color: var(--color-background);
  193. text-decoration: none;
  194. padding: 0.2em 0.5em;
  195. text-transform: uppercase;
  196. float: right;
  197. color: var(--color-text-default);
  198. font-weight: bold;
  199. }
  200. /* Header */
  201. header {
  202. margin: 3vw auto 2vw auto;
  203. display: flex;
  204. flex-flow: row;
  205. max-width: 80vw;
  206. padding: 1em;
  207. flex-wrap: wrap;
  208. }
  209. .breadcrumb {
  210. font-size: 0;
  211. font-family: "Hack", monospace;
  212. flex: 8;
  213. list-style-type: none;
  214. display: flex;
  215. flex-direction: row;
  216. align-items: center;
  217. flex-wrap: wrap;
  218. margin-bottom: 1vw;
  219. }
  220. .breadcrumb li {
  221. padding: 0;
  222. margin: 0;
  223. }
  224. .breadcrumb a {
  225. flex: 1;
  226. padding: 0;
  227. padding-left: 1em;
  228. padding-right: 2em;
  229. margin: 0;
  230. position: relative;
  231. line-height: 2rem;
  232. font-size: 1rem;
  233. color: var(--color-background);
  234. }
  235. .breadcrumb a:after {
  236. content: "";
  237. display: inline-block;
  238. width: 0;
  239. height: 0;
  240. position: absolute;
  241. right: 0;
  242. top: 0;
  243. }
  244. .breadcrumb a:nth-child(1n + 1) {
  245. background-color: var(--color-accent-1);
  246. }
  247. .breadcrumb a:nth-child(2n + 1) {
  248. background-color: var(--color-accent-2);
  249. }
  250. .breadcrumb a:nth-child(3n + 1) {
  251. background-color: var(--color-accent-3);
  252. }
  253. .breadcrumb a:nth-child(1n + 1):after {
  254. border-top: 1rem solid var(--color-accent-2);
  255. border-bottom: 1rem solid var(--color-accent-2);
  256. border-left: 1rem solid transparent;
  257. }
  258. .breadcrumb a:nth-child(2n + 1):after {
  259. border-top: 1rem solid var(--color-accent-3);
  260. border-bottom: 1rem solid var(--color-accent-3);
  261. border-left: 1rem solid transparent;
  262. }
  263. .breadcrumb a:nth-child(3n + 1):after {
  264. border-top: 1rem solid var(--color-accent-1);
  265. border-bottom: 1rem solid var(--color-accent-1);
  266. border-left: 1rem solid transparent;
  267. }
  268. .breadcrumb a:last-child {
  269. border: none;
  270. padding-right: 1rem;
  271. }
  272. .breadcrumb a:last-child:after {
  273. border: none;
  274. display: none;
  275. }
  276. /* Dark/light mode switches */
  277. .switches {
  278. display: flex;
  279. align-content: space-around;
  280. align-items: flex-start;
  281. justify-content: flex-start;
  282. flex: 1;
  283. margin-bottom: 1vw;
  284. }
  285. .switches svg {
  286. height: 1.4em;
  287. width: 1.4em;
  288. }
  289. .lightswitch,
  290. .darkswitch {
  291. display: flex;
  292. align-content: space-around;
  293. align-items: center;
  294. justify-content: center;
  295. border: none;
  296. border-radius: 0;
  297. color: var(--color-background);
  298. height: 2em;
  299. width: 2em;
  300. }
  301. .lightswitch {
  302. background-color: var(--color-background-alternative);
  303. color: var(--color-text-default);
  304. }
  305. .darkswitch {
  306. background-color: var(--color-accent-3);
  307. }
  308. @media (prefers-color-scheme: light) {
  309. .darkswitch {
  310. background-color: var(--color-background);
  311. background-color: var(--color-background-alternative);
  312. color: var(--color-text-default);
  313. }
  314. .lightswitch {
  315. background-color: var(--color-accent-3);
  316. }
  317. }
  318. .light .darkswitch {
  319. background-color: var(--color-background-alternative);
  320. color: var(--color-text-default);
  321. }
  322. .light .lightswitch {
  323. background-color: var(--color-accent-3);
  324. }
  325. /* To display uls as a file tree-like list */
  326. .filetree {
  327. margin-bottom: 3em;
  328. }
  329. .filetree,
  330. .filetree ul,
  331. .filetree li {
  332. position: relative;
  333. }
  334. .filetree li {
  335. margin: 0.6em 0;
  336. }
  337. .filetree ul {
  338. list-style: none;
  339. padding-left: 3.2em;
  340. }
  341. .filetree li::before,
  342. .filetree li::after {
  343. content: "";
  344. position: absolute;
  345. left: -1.2em;
  346. }
  347. .filetree li::before {
  348. border-top: 0.1em solid var(--color-text-default);
  349. top: 0.8em;
  350. width: 0.8em;
  351. height: 0;
  352. }
  353. .filetree li::after {
  354. border-left: 0.1em solid var(--color-text-default);
  355. height: 2.6em;
  356. width: 0;
  357. top: 0.2em;
  358. }
  359. .filetree ul > li:last-child::after {
  360. height: 0.7em;
  361. }
  362. /* Contact card */
  363. .contact-card li {
  364. display: inline;
  365. margin: 0 1em 1em 0;
  366. padding-left: 0;
  367. }
  368. .contact-card svg {
  369. height: 1.4em;
  370. width: 1.4em;
  371. margin-right: 0.4em;
  372. }
  373. .contact-card a {
  374. display: inline-flex;
  375. flex-direction: row;
  376. align-content: space-around;
  377. align-items: center;
  378. justify-content: flex-start;
  379. text-decoration: none;
  380. }
  381. .article-meta {
  382. display: flex;
  383. padding-top: 4em;
  384. font-size: 0.8em;
  385. flex-direction: column;
  386. }
  387. .article-meta span {
  388. display: inline-block;
  389. flex: 1;
  390. }
  391. .no-margin {
  392. margin: 0;
  393. }
  394. /* Smaller screen tweaks */
  395. @media screen and (max-width: 940px) {
  396. body {
  397. font-size: 22px;
  398. }
  399. .switches button {
  400. font-size: 22px;
  401. }
  402. main {
  403. max-width: 90vw;
  404. margin: 2em auto;
  405. }
  406. article {
  407. flex-flow: column;
  408. }
  409. article p {
  410. margin-top: 1em;
  411. }
  412. header {
  413. max-width: 90vw;
  414. margin-bottom: 2em;
  415. flex-flow: column;
  416. }
  417. footer {
  418. flex-flow: column;
  419. max-width: 90vw;
  420. }
  421. footer p {
  422. border-bottom: none;
  423. }
  424. }
  425. /* Fonts */
  426. @font-face {
  427. font-family: "Noto sans";
  428. src: local("Noto Sans Regular"), local("Noto Sans"),
  429. url("/fonts/notosans-regular.woff2") format("woff2"),
  430. url("/fonts/notosans-regular.woff") format("woff"),
  431. url("/fonts/notosans-regular.ttf") format("truetype");
  432. font-weight: normal;
  433. font-style: normal;
  434. font-display: swap;
  435. }
  436. @font-face {
  437. font-family: "Hack";
  438. src: local("Hack Regular"), local("Hack"),
  439. url("/fonts/hack-regular.woff2") format("woff2"),
  440. url("/fonts/hack-regular.woff") format("woff"),
  441. url("/fonts/hack-regular.ttf") format("truetype");
  442. font-weight: normal;
  443. font-style: normal;
  444. font-display: swap;
  445. }
  446. @font-face {
  447. font-family: "Hack";
  448. src: local("Hack Italic"), local("Hack-Italic"),
  449. url("/fonts/hack-italic.woff2") format("woff2"),
  450. url("/fonts/hack-italic.woff") format("woff"),
  451. url("/fonts/hack-italic.ttf") format("truetype");
  452. font-weight: normal;
  453. font-style: italic;
  454. font-display: swap;
  455. }
  456. @font-face {
  457. font-family: "Hack";
  458. src: local("Hack Bold"), local("Hack-Bold"),
  459. url("/fonts/hack-bold.woff2") format("woff2"),
  460. url("/fonts/hack-bold.woff") format("woff"),
  461. url("/fonts/hack-bold.ttf") format("truetype");
  462. font-weight: bold;
  463. font-style: normal;
  464. font-display: swap;
  465. }
  466. @font-face {
  467. font-family: "NotoSerif";
  468. src: local("NotoSerif Regular"), local("NotoSerif"),
  469. url("/fonts/notoserif-regular.woff2") format("woff2"),
  470. url("/fonts/notoserif-regular.woff") format("woff"),
  471. url("/fonts/notoserif-regular.ttf") format("truetype");
  472. font-weight: normal;
  473. font-style: normal;
  474. font-display: swap;
  475. }
  476. /* Arta HighlightJS theme */
  477. .hljs {
  478. display: block;
  479. overflow-x: auto;
  480. padding: 0.5em;
  481. background: #222;
  482. }
  483. .hljs,
  484. .hljs-subst {
  485. color: #aaa;
  486. }
  487. .hljs-section {
  488. color: #fff;
  489. }
  490. .hljs-comment,
  491. .hljs-quote,
  492. .hljs-meta {
  493. color: #7e7979;
  494. }
  495. .hljs-string,
  496. .hljs-symbol,
  497. .hljs-bullet,
  498. .hljs-regexp {
  499. color: #ffcc33;
  500. }
  501. .hljs-number,
  502. .hljs-addition {
  503. color: #00cc66;
  504. }
  505. .hljs-built_in,
  506. .hljs-builtin-name,
  507. .hljs-literal,
  508. .hljs-type,
  509. .hljs-template-variable,
  510. .hljs-attribute,
  511. .hljs-link {
  512. color: #32aaee;
  513. }
  514. .hljs-keyword,
  515. .hljs-selector-tag,
  516. .hljs-name,
  517. .hljs-selector-id,
  518. .hljs-selector-class {
  519. color: #6644aa;
  520. }
  521. .hljs-title,
  522. .hljs-variable,
  523. .hljs-deletion,
  524. .hljs-template-tag {
  525. color: #bb1166;
  526. }
  527. .hljs-section,
  528. .hljs-doctag,
  529. .hljs-strong {
  530. font-weight: bold;
  531. }
  532. .hljs-emphasis {
  533. font-style: italic;
  534. }