public.css 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182
  1. /* Copied from https://tonsky.me/, should change this asap */
  2. * {
  3. -moz-box-sizing: border-box;
  4. -webkit-box-sizing: border-box;
  5. box-sizing: border-box;
  6. }
  7. @font-face { font-family: 'body'; src: url('/static/fonts/IBMPlexSans-Text.woff') format('woff'); }
  8. @font-face { font-family: 'body'; font-style: italic; src: url('/static/fonts/IBMPlexSans-TextItalic.woff') format('woff'); }
  9. @font-face { font-family: 'body'; font-weight: 800; src: url('/static/fonts/IBMPlexSans-Bold.woff') format('woff'); }
  10. @font-face { font-family: 'mono'; src: url('/static/fonts/IBMPlexMono-Text-Latin1.woff') format('woff'); }
  11. body { font: 18px/28px body, sans-serif; }
  12. pre, code { font-family: mono, monospace; }
  13. body {
  14. color: #000;
  15. -webkit-font-feature-settings: "kern" 1,"liga" 1,"calt" 1;
  16. -moz-font-feature-settings: "kern" 1,"liga" 1,"calt" 1;
  17. font-feature-settings: "kern" 1,"liga" 1,"calt" 1;
  18. -webkit-font-smoothing: antialiased;
  19. -moz-osx-font-smoothing: grayscale;
  20. text-rendering: optimizeLegibility;
  21. margin: 50px auto;
  22. }
  23. .pub-page { max-width: 700px; margin: 0 auto; padding: 0 24px; overflow-x: hidden; }
  24. .spacer { flex-grow: 1; }
  25. .starred { margin: 0 0.5em 0 -1.5em; }
  26. .post { margin: 0 auto;
  27. position: relative;
  28. }
  29. a { color: inherit; text-decoration: none; border-bottom: 2px solid rgba(0,0,0,0.2); }
  30. a.page-ref {border-bottom: 2px solid #93c763; }
  31. a:hover { border-color: currentColor; }
  32. p, blockquote { margin: 15px 0; }
  33. h1 + p + blockquote { margin-bottom: 30px; margin-right: 1em; }
  34. blockquote { padding-left: 1em; color: rgba(0,0,0,0.55); }
  35. blockquote::before {content: "> "; float: left; margin: 0 0 0 -1em; }
  36. .quote-author { text-align: right; font-size: 15px; }
  37. strong { font-weight: 700; }
  38. h1, h2 { margin: 2.5em 0 0.5em; }
  39. h1 { font-size: 1.7em; }
  40. h2 { font-size: 1.4em; }
  41. h1 + h2 { margin: -0.75em 0 0.9em; }
  42. .title { font-size: 2.5em; line-height: 50px; margin: 1.5em 0 0.75em 0; }
  43. p > img, .fig, figure { margin: 2em 0; }
  44. img { max-width: 100%; }
  45. .fig, figure { text-align: center; font-size: 12px; line-height: 20px; font-style: italic; }
  46. @media (min-width: 600px) {
  47. .fig, figure { width: 600px; margin-left: -28px; margin-right: -28px; }
  48. }
  49. .fig img, figure > img, figure > video, figure > a > img { margin: 0 auto 1em; display: block; border-radius: 3px; }
  50. figure > video { max-width: 100%; }
  51. .label { text-align: center; font-size: 12px; font-style: italic; margin: -1em 0 1em 0; }
  52. code { font-style: normal; background: rgba(0,0,0,0.06); padding: 2px 6px; border-radius: 4px; font-size: 17px; white-space: nowrap; }
  53. pre { font-size: 16px;
  54. background: rgba(0,0,0,0.06);
  55. padding: 16px 30px 14px;
  56. margin: 1em -30px;
  57. border-radius: 8px;
  58. white-space: pre-wrap;
  59. word-wrap: break-word;
  60. font-style: normal; }
  61. pre > code { background: none; padding: 0; font-size: inherit; white-space: unset; }
  62. ul { padding: 0 0 0 1em; list-style-type: square; }
  63. ul > li, ol > li { margin: 0.5em 0; }
  64. sup, sub, .note-ref, .note-number { vertical-align: baseline; position: relative; font-size: .7em; line-height: 1; }
  65. sup, .note-ref, .note-number { bottom: 1.4ex; }
  66. sub { top: .5ex; }
  67. .btn-subscribe { line-height: 20px; text-decoration: none; background: rgba(0,0,0,0.1); border: none; font-size: 12px; padding: 0px 7px; display: inline-block; border-radius: 4px; position: relative; top: -1px; margin-top: 6px;}
  68. .btn-subscribe:hover { background: rgba(0,0,0,0.2); }
  69. .btn-subscribe > svg { width: 21px; height: 21px; vertical-align: bottom; margin: 0 -2px 0 -5px; }
  70. .footnote { margin: 0 5px; }
  71. .footnotes-br { width: 100px; height: 2px; background: #000000; margin-top: 5em; }
  72. .footnotes > ol { padding-left: 1em; }
  73. .notes { font-size: 0.8em; }
  74. .note-number { margin-left: -1em; }
  75. .date { color: rgba(0,0,0,0.55); font-size: 14px; margin-left: 6px; }
  76. .footer{ color: rgba(0,0,0,0.55); }
  77. .footer { font-size: 16px; margin-bottom: 5em; }
  78. .footer > .separator { margin: 0 4px; }
  79. .footer > a { margin-right: 5px; }
  80. .footer > a:hover { color: #000; }
  81. .hoverable { object-fit: cover; object-position: center top; }
  82. .hoverable.clicked { object-position: center bottom; }
  83. @media (hover: hover) {
  84. .hoverable.clicked:hover { object-fit: cover; object-position: center top; }
  85. .hoverable:hover { object-position: center bottom; }
  86. }
  87. img.avatar {
  88. width: 48px;
  89. height: 48px;
  90. border-radius: 50%;
  91. margin-top: 0px;
  92. margin-bottom: 0px;
  93. margin-left: 6px;
  94. }
  95. img.avatar-bigger {
  96. width: 96px;
  97. height: 96px;
  98. }
  99. .flex {
  100. display: flex;
  101. }
  102. .flex-1 {
  103. display: flex;
  104. flex: 1;
  105. }
  106. .row {
  107. flex-direction: row;
  108. }
  109. .space-between {
  110. justify-content: space-between;
  111. }
  112. .items-center {
  113. align-items: center;
  114. }
  115. .project-card .title {
  116. margin-top: 0em;
  117. margin-bottom: 0em;
  118. }
  119. .project-card {
  120. margin-top: 6em;
  121. margin-bottom: 2em;
  122. flex-wrap: wrap;
  123. }
  124. @media (max-width: 600px) {
  125. .project-card {
  126. margin-top: 1em;
  127. }
  128. }
  129. .description {
  130. font-size: 90%;
  131. opacity: 0.7;
  132. margin-left: 4px;
  133. }
  134. p {
  135. overflow-wrap: break-word;
  136. }
  137. a.back, a.avatar {
  138. border-bottom: none;
  139. }
  140. a.back {
  141. opacity: 0.5;
  142. }
  143. a.back:hover {
  144. opacity: 1;
  145. }