styles.css 11 KB

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