logo

blog

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

mandoc.css (4687B)

    

  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. }
  24. @media (prefers-color-scheme: light) {
  25. 	:root {
  26. 		/* gruvbox light */
  27. 		--ansi00: #fbf1c7;
  28. 		--ansi00-hard: #f9f5d7;
  29. 		--ansi00-soft: #f2e5bc;
  30. 		--ansi01: #cc241d;
  31. 		--ansi02: #98971a;
  32. 		--ansi03: #d79921;
  33. 		--ansi04: #458588;
  34. 		--ansi05: #b16286;
  35. 		--ansi06: #689d6a;
  36. 		--ansi07: #7c6f64;
  37. 		--ansi08: #928374;
  38. 		--ansi09: #9d0006;
  39. 		--ansi10: #79740e;
  40. 		--ansi11: #b57614;
  41. 		--ansi12: #076678;
  42. 		--ansi13: #8f3f71;
  43. 		--ansi14: #427b58;
  44. 		--ansi15: #3c3836;
  45. 	}
  46. }
  47. /* END css/colorscheme.css */
  49. a[href] {
  50. 	color: var(--ansi13);
  51. }
  53. a {
  54. 	outline-color: invert;
  55. 	outline-color: var(--ansi11);
  56. 	text-decoration: underline;
  57. }
  58. summary { cursor: pointer; } /* for some reason this isn't in webkit */
  60. body, html {
  61. 	background-color: var(--ansi00-hard);
  62. 	color: var(--ansi15);
  63. 	margin: auto;
  64. 	padding: 0;
  65. 	max-width: 100ch;
  66. 	font-family: sans-serif;
  67. }
  69. table {
  70. 	margin-top: 0;
  71. 	margin-bottom: 0;
  72. 	border-collapse: collapse;
  73. }
  74. /* Some browsers set border-color in a browser style for tbody,
  75.  * but not for table, resulting in inconsistent border styling. */
  77. tbody {
  78. 	border-color: inherit;
  79. }
  81. tr {
  82. 	border-color: inherit;
  83. }
  85. td {
  86. 	vertical-align: top;
  87. 	padding-left: 0.2rem;
  88. 	padding-right: 0.2rem;
  89. 	border-color: inherit;
  90. }
  92. ul, ol, dl {
  93. 	margin-top: 0;
  94. 	margin-bottom: 0;
  95. }
  97. li, dt {
  98. 	margin-top: 1rem;
  99. }
  101. pre {
  102. 	font-family: inherit;
  103. }
  105. .permalink {
  106. 	border-bottom: thin dotted;
  107. 	color: inherit;
  108. 	font: inherit;
  109. 	text-decoration: inherit;
  110. }
  112. * {
  113. 	clear: both
  114. }
  116. /* Header and footer lines. */
  117. table.head {
  118. 	width: 100%;
  119. 	border-bottom: 1px dotted #808080;
  120. 	margin-bottom: 1rem;
  121. 	font-size: smaller;
  122. }
  124. td.head-vol {
  125. 	text-align: center;
  126. }
  128. td.head-rtitle {
  129. 	text-align: right;
  130. }
  132. table.foot {
  133. 	width: 100%;
  134. 	border-top: 1px dotted #808080;
  135. 	margin-top: 1rem;
  136. 	font-size: smaller;
  137. }
  139. td.foot-os {
  140. 	text-align: right;
  141. }
  143. /* Sections and paragraphs. */
  144. .manual-text {
  145. 	margin-left: 3.8rem;
  146. }
  148. .Nd {
  149. 	display: inline;
  150. }
  152. h1.Sh {
  153. 	margin-top: 1.2rem;
  154. 	margin-bottom: 0.6rem;
  155. 	margin-left: -3.2rem;
  156. }
  158. h2.Ss {
  159. 	margin-top: 1.2rem;
  160. 	margin-bottom: 0.6rem;
  161. 	margin-left: -1.2rem;
  162. }
  164. .Pp {
  165. 	margin: 0.6rem 0;
  166. }
  168. /* Displays and lists. */
  169. .Bd-indent {
  170. 	margin-left: 3.8rem;
  171. }
  173. .Bl-bullet {
  174. 	list-style-type: disc;
  175. 	padding-left: 1rem;
  176. }
  178. .Bl-dash {
  179. 	list-style-type: none;
  180. 	padding-left: 0;
  181. }
  183. .Bl-dash > li:before {
  184. 	content: "\2014  ";
  185. }
  187. .Bl-item {
  188. 	list-style-type: none;
  189. 	padding-left: 0;
  190. }
  192. .Bl-compact > li {
  193. 	margin-top: 0;
  194. }
  196. .Bl-enum {
  197. 	padding-left: 2rem;
  198. }
  200. .Bl-diag > dt {
  201. 	font-style: normal;
  202. 	font-weight: bold;
  203. }
  205. .Bl-diag > dd,
  206. .Bl-ohang > dd,
  207. .Bl-inset > dd {
  208. 	margin-left: 0;
  209. }
  211. .Bl-hang > dd {
  212. 	margin-left: 5.5rem;
  213. }
  215. .Bl-tag {
  216. 	margin-top: 0.6rem;
  217. 	margin-left: 5.5rem;
  218. }
  220. .Bl-tag > dt {
  221. 	float: left;
  222. 	margin-top: 0;
  223. 	margin-left: -5.5rem;
  224. 	padding-right: 0.5rem;
  225. 	vertical-align: top;
  226. }
  228. .Bl-tag > dd {
  229. 	clear: right;
  230. 	column-count: 1;
  231. 	/* Force block formatting context. */
  232. 	width: 100%;
  233. 	margin-top: 0;
  234. 	margin-left: 0;
  235. 	margin-bottom: 0.6rem;
  236. 	vertical-align: top;
  237. }
  239. .Bl-compact,
  240. .Bl-compact > dt,
  241. .Bl-compact > tbody > tr > td {
  242. 	margin-top: 0;
  243. }
  245. .Bl-compact > dd {
  246. 	margin-bottom: 0;
  247. }
  249. .Bl-column > tbody > tr > td {
  250. 	margin-top: 1rem;
  251. }
  253. .Rs,
  254. .No {
  255. 	font-style: normal;
  256. 	font-weight: normal;
  257. }
  259. .RsB, .RsI, .RsJ {
  260. 	font-style: italic;
  261. 	font-weight: normal;
  262. }
  264. .RsT {
  265. 	text-decoration: underline;
  266. }
  268. .tbl td {
  269. 	vertical-align: middle;
  270. }
  272. .HP {
  273. 	margin-left: 3.8rem;
  274. 	text-indent: -3.8rem;
  275. }
  277. .Fl, .Cm, .Ic, code.Nm,
  278. code.In, .Fd, .Fn,
  279. .Cd {
  280. 	font-style: normal;
  281. 	font-weight: bold;
  282. 	font-family: inherit;
  283. }
  285. .Ar, .Pa, .Ft, .Fa, .Vt, .Va,
  286. .Ad,
  287. .Em {
  288. 	font-style: italic;
  289. 	font-weight: normal;
  290. 	color: var(--ansi10);
  291. }
  293. .Op {
  294. 	display: inline;
  295. }
  297. .Ev, .Dv, .Er,
  298. .Li {
  299. 	font-style: normal;
  300. 	font-weight: normal;
  301. 	font-family: monospace;
  302. }
  304. .Ms,
  305. .Sy {
  306. 	font-style: normal;
  307. 	font-weight: bold;
  308. }
  310. .Bf {
  311. 	display: inline;
  312. }
  314. .Xr {
  315. 	font-style: monospace;
  316. }
  318. /* Overrides to avoid excessive margins on small devices. */
  319. @media (max-width: 37.5rem) {
  320. 	.manual-text {
  321. 		margin-left: 0.5rem;
  322. 	}
  324. 	h1.Sh, h2.Ss {
  325. 		margin-left: 0;
  326. 	}
  328. 	.Bd-indent {
  329. 		margin-left: 2rem;
  330. 	}
  332. 	.Bl-hang > dd {
  333. 		margin-left: 2rem;
  334. 	}
  336. 	.Bl-tag {
  337. 		margin-left: 2rem;
  338. 	}
  340. 	.Bl-tag > dt {
  341. 		margin-left: -2rem;
  342. 	}
  344. 	.HP {
  345. 		margin-left: 2rem;
  346. 		text-indent: -2rem;
  347. 	}
  348. }