logo

blog

My website can't be that messy, right? git clone https://hacktivis.me/git/blog.git

mandoc.in.css (4875B)


  1. /* BEGIN css/colorscheme.css */
  2. :root {
  3. /* gruvbox dark */
  4. --ansi00: #282828;
  5. --ansi00-hard: #1d2021;
  6. --ansi00-soft: #32302f;
  7. --ansi01: #cc241d;
  8. --ansi02: #98971a;
  9. --ansi03: #d79921;
  10. --ansi04: #458588;
  11. --ansi05: #b16286;
  12. --ansi06: #689d6a;
  13. --ansi07: #a89984;
  14. --ansi08: #928374;
  15. --ansi09: #fb4934;
  16. --ansi10: #b8bb26;
  17. --ansi11: #fabd2f;
  18. --ansi12: #83a598;
  19. --ansi13: #d3869b;
  20. --ansi14: #8ec07c;
  21. --ansi15: #ebdbb2;
  22. }
  23. @media (prefers-color-scheme: light) {
  24. :root {
  25. /* gruvbox light */
  26. --ansi00: #fbf1c7;
  27. --ansi00-hard: #f9f5d7;
  28. --ansi00-soft: #f2e5bc;
  29. --ansi01: #cc241d;
  30. --ansi02: #98971a;
  31. --ansi03: #d79921;
  32. --ansi04: #458588;
  33. --ansi05: #b16286;
  34. --ansi06: #689d6a;
  35. --ansi07: #7c6f64;
  36. --ansi08: #928374;
  37. --ansi09: #9d0006;
  38. --ansi10: #79740e;
  39. --ansi11: #b57614;
  40. --ansi12: #076678;
  41. --ansi13: #8f3f71;
  42. --ansi14: #427b58;
  43. --ansi15: #3c3836;
  44. }
  45. }
  46. /* END css/colorscheme.css */
  47. a[href] {
  48. color: @ansi13@;
  49. color: var(--ansi13);
  50. }
  51. /* empty href */
  52. a[href=""] {
  53. color: @ansi09@;
  54. color: var(--ansi09);
  55. }
  56. a {
  57. outline-color: invert;
  58. outline-color: @ansi11@;
  59. outline-color: var(--ansi11);
  60. text-decoration: underline;
  61. }
  62. summary { cursor: pointer; } /* for some reason this isn't in webkit */
  63. body, html {
  64. background-color: @ansi00-hard@;
  65. background-color: var(--ansi00-hard);
  66. color: @ansi15@;
  67. color: var(--ansi15);
  68. margin: auto;
  69. padding: 0;
  70. max-width: 100ch;
  71. font-family: sans-serif;
  72. }
  73. table {
  74. margin-top: 0;
  75. margin-bottom: 0;
  76. border-collapse: collapse;
  77. }
  78. /* Some browsers set border-color in a browser style for tbody,
  79. * but not for table, resulting in inconsistent border styling. */
  80. tbody {
  81. border-color: inherit;
  82. }
  83. tr {
  84. border-color: inherit;
  85. }
  86. td {
  87. vertical-align: top;
  88. padding-left: 0.2rem;
  89. padding-right: 0.2rem;
  90. border-color: inherit;
  91. }
  92. ul, ol, dl {
  93. margin-top: 0;
  94. margin-bottom: 0;
  95. }
  96. li, dt {
  97. margin-top: 1rem;
  98. }
  99. pre {
  100. font-family: inherit;
  101. }
  102. .permalink {
  103. border-bottom: thin dotted;
  104. color: inherit;
  105. font: inherit;
  106. text-decoration: inherit;
  107. }
  108. * {
  109. clear: both
  110. }
  111. /* Header and footer lines. */
  112. table.head {
  113. width: 100%;
  114. border-bottom: 1px dotted #808080;
  115. margin-bottom: 1rem;
  116. font-size: smaller;
  117. }
  118. td.head-vol {
  119. text-align: center;
  120. }
  121. td.head-rtitle {
  122. text-align: right;
  123. }
  124. table.foot {
  125. width: 100%;
  126. border-top: 1px dotted #808080;
  127. margin-top: 1rem;
  128. font-size: smaller;
  129. }
  130. td.foot-os {
  131. text-align: right;
  132. }
  133. /* Sections and paragraphs. */
  134. .manual-text {
  135. margin-left: 3.8rem;
  136. }
  137. .Nd {
  138. display: inline;
  139. }
  140. h1.Sh {
  141. margin-top: 1.2rem;
  142. margin-bottom: 0.6rem;
  143. margin-left: -3.2rem;
  144. }
  145. h2.Ss {
  146. margin-top: 1.2rem;
  147. margin-bottom: 0.6rem;
  148. margin-left: -1.2rem;
  149. }
  150. .Pp {
  151. margin: 0.6rem 0;
  152. }
  153. /* Displays and lists. */
  154. .Bd-indent {
  155. margin-left: 3.8rem;
  156. }
  157. .Bl-bullet {
  158. list-style-type: disc;
  159. padding-left: 1rem;
  160. }
  161. .Bl-dash {
  162. list-style-type: none;
  163. padding-left: 0;
  164. }
  165. .Bl-dash > li:before {
  166. content: "\2014 ";
  167. }
  168. .Bl-item {
  169. list-style-type: none;
  170. padding-left: 0;
  171. }
  172. .Bl-compact > li {
  173. margin-top: 0;
  174. }
  175. .Bl-enum {
  176. padding-left: 2rem;
  177. }
  178. .Bl-diag > dt {
  179. font-style: normal;
  180. font-weight: bold;
  181. }
  182. .Bl-diag > dd,
  183. .Bl-ohang > dd,
  184. .Bl-inset > dd {
  185. margin-left: 0;
  186. }
  187. .Bl-hang > dd {
  188. margin-left: 5.5rem;
  189. }
  190. .Bl-tag {
  191. margin-top: 0.6rem;
  192. margin-left: 5.5rem;
  193. }
  194. .Bl-tag > dt {
  195. float: left;
  196. margin-top: 0;
  197. margin-left: -5.5rem;
  198. padding-right: 0.5rem;
  199. vertical-align: top;
  200. }
  201. .Bl-tag > dd {
  202. clear: right;
  203. column-count: 1;
  204. /* Force block formatting context. */
  205. width: 100%;
  206. margin-top: 0;
  207. margin-left: 0;
  208. margin-bottom: 0.6rem;
  209. vertical-align: top;
  210. }
  211. .Bl-compact,
  212. .Bl-compact > dt,
  213. .Bl-compact > tbody > tr > td {
  214. margin-top: 0;
  215. }
  216. .Bl-compact > dd {
  217. margin-bottom: 0;
  218. }
  219. .Bl-column > tbody > tr > td {
  220. margin-top: 1rem;
  221. }
  222. .Rs,
  223. .No {
  224. font-style: normal;
  225. font-weight: normal;
  226. }
  227. .RsB, .RsI, .RsJ {
  228. font-style: italic;
  229. font-weight: normal;
  230. }
  231. .RsT {
  232. text-decoration: underline;
  233. }
  234. .tbl td {
  235. vertical-align: middle;
  236. }
  237. .HP {
  238. margin-left: 3.8rem;
  239. text-indent: -3.8rem;
  240. }
  241. .Fl, .Cm, .Ic, code.Nm,
  242. code.In, .Fd, .Fn,
  243. .Cd {
  244. font-style: normal;
  245. font-weight: bold;
  246. font-family: inherit;
  247. }
  248. .Ar, .Pa, .Ft, .Fa, .Vt, .Va,
  249. .Ad,
  250. .Em {
  251. font-style: italic;
  252. font-weight: normal;
  253. color: @ansi10@;
  254. color: var(--ansi10);
  255. }
  256. .Op {
  257. display: inline;
  258. }
  259. .Ev, .Dv, .Er,
  260. .Li {
  261. font-style: normal;
  262. font-weight: normal;
  263. font-family: monospace;
  264. }
  265. .Ms,
  266. .Sy {
  267. font-style: normal;
  268. font-weight: bold;
  269. }
  270. .Bf {
  271. display: inline;
  272. }
  273. .Xr {
  274. font-style: monospace;
  275. }
  276. /* Overrides to avoid excessive margins on small devices. */
  277. @media (max-width: 37.5rem) {
  278. .manual-text {
  279. margin-left: 0.5rem;
  280. }
  281. h1.Sh, h2.Ss {
  282. margin-left: 0;
  283. }
  284. .Bd-indent {
  285. margin-left: 2rem;
  286. }
  287. .Bl-hang > dd {
  288. margin-left: 2rem;
  289. }
  290. .Bl-tag {
  291. margin-left: 2rem;
  292. }
  293. .Bl-tag > dt {
  294. margin-left: -2rem;
  295. }
  296. .HP {
  297. margin-left: 2rem;
  298. text-indent: -2rem;
  299. }
  300. }