alex-2018.css 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616
  1. /* This file is in the public domain. */
  2. html{ text-align: center; }
  3. body, rss {
  4. font-family: "DejaVu Serif", Palatino, serif;
  5. font-style: normal;
  6. font-size: 16pt;
  7. padding: 1em 3em;
  8. max-width: 72ex;
  9. display: inline-block;
  10. text-align: left;
  11. color: #000;
  12. background-color: #fff;
  13. }
  14. @media only screen and (max-device-width: 600px) {
  15. body {
  16. padding: 1ex;
  17. }
  18. textarea {
  19. font-size: inherit;
  20. }
  21. }
  22. /* code */
  23. textarea, pre, code, tt {
  24. font-family: "DejaVu Mono", "Andale Mono", Monaco, "Courier New", Courier, monospace;
  25. }
  26. pre, code, tt {
  27. font-size: 12pt; /* fits 80ex */
  28. }
  29. pre {
  30. overflow:hidden;
  31. white-space: pre-wrap; /* CSS 3 */
  32. white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
  33. white-space: -pre-wrap; /* Opera 4-6 */
  34. white-space: -o-pre-wrap; /* Opera 7 */
  35. word-wrap: break-word; /* Internet Explorer 5.5+ */
  36. }
  37. @import url(file:///home/alex/alexschroeder.ch/css/alex-2017.css) print;
  38. @media print {
  39. body {
  40. font-size: 12pt;
  41. }
  42. /* hide all the crap */
  43. div.diff, div.diff+hr, div.refer, div.near, div.definition, div.sister,
  44. div.cal, div.footer, span.specialdays, span.gotobar, a.edit, a.number span,
  45. div.rc form, form.tiny, p.comment, p#plus1, div.g-plusone, div.content a.feed {
  46. display:none;
  47. }
  48. div.content a.book,
  49. div.content a.movie {
  50. text-decoration: none;
  51. }
  52. a cite {
  53. font-style: italic;
  54. }
  55. img[alt="RSS"] { display: none }
  56. a.rss { font-size: 8pt }
  57. }
  58. /* headings: we can use larger sizes if we use a lighter color.
  59. we cannot inherit the font-family because header and footer use a narrow font. */
  60. h1, h2, h3, title {
  61. font-family: inherit;
  62. font-weight: normal;
  63. }
  64. h1, channel title {
  65. font-size: 32pt;
  66. margin: 1em 0 0.5em 0;
  67. padding: 0.4em 0;
  68. }
  69. h2 {
  70. font-size: 18pt;
  71. margin: 2em 0 0 0;
  72. padding: 0;
  73. }
  74. h3 {
  75. font-size: inherit;
  76. font-weight: bold;
  77. padding: 0;
  78. margin: 1em 0 0 0;
  79. clear: both;
  80. }
  81. /* headers in the journal are smaller */
  82. div.journal h1, item title {
  83. font-size: inherit;
  84. padding: 0;
  85. clear: both;
  86. border-bottom: 1px solid #000;
  87. }
  88. div.journal h2 {
  89. font-family: inherit;
  90. font-size: inherit;
  91. }
  92. div.journal h3 {
  93. font-family: inherit;
  94. font-size: inherit;
  95. font-weight: inherit;
  96. font-style: italic;
  97. }
  98. div.journal hr {
  99. visibility: hidden;
  100. }
  101. p.more {
  102. margin-top: 3em;
  103. }
  104. /* Links in headings appear on journal pages. */
  105. h1 a, h2 a, h3 a {
  106. color:inherit;
  107. text-decoration:none;
  108. font-weight: normal;
  109. }
  110. h1 a:visited, h2 a:visited, h3 a:visited {
  111. color: inherit;
  112. }
  113. /* for download buttons and the like */
  114. .button {
  115. display: inline-block;
  116. font-size: 120%;
  117. cursor: pointer;
  118. padding: 0.4em 0.6em;
  119. text-shadow: 0px -1px 0px #ccc;
  120. background-color: #cfa;
  121. border: 1px solid #9d8;
  122. border-radius: 5px;
  123. box-shadow: 0px 1px 3px white inset, 0px 1px 3px black;
  124. }
  125. .button .icon {
  126. color: #363;
  127. text-shadow: 0px -1px 1px white, 0px 1px 3px #666;
  128. }
  129. .button a {
  130. text-decoration: none;
  131. font-weight: normal;
  132. }
  133. /* links */
  134. a.pencil {
  135. padding-left: 1ex;
  136. text-decoration: none;
  137. color: inherit;
  138. visibility: hidden;
  139. transition: visibility 0s 1s, opacity 1s linear;
  140. opacity: 0;
  141. }
  142. *:hover > a.pencil {
  143. visibility: visible;
  144. transition: opacity .5s linear;
  145. opacity: 1;
  146. }
  147. @media print {
  148. a.pencil {
  149. display: none;
  150. }
  151. }
  152. a.number {
  153. text-decoration: none;
  154. }
  155. /* stop floating content from flowing over the footer */
  156. hr {
  157. clear: both;
  158. }
  159. /* the distance between links in the navigation bars */
  160. span.bar a {
  161. margin-right: 1ex;
  162. }
  163. a img {
  164. border: none;
  165. }
  166. /* search box in the top bar */
  167. .header form, .header p {
  168. display: inline;
  169. white-space: nowrap;
  170. }
  171. label[for="searchlang"], #searchlang, .header input[type="submit"] {
  172. /* don't use display: none! http://stackoverflow.com/questions/5665203/getting-iphone-go-button-to-submit-form */
  173. visibility: hidden; position: absolute;
  174. }
  175. .header input {
  176. width: 10ex;
  177. }
  178. /* other form fields */
  179. input[type="text"] {
  180. padding: 0;
  181. font-size: 80%;
  182. line-height: 125%;
  183. }
  184. /* styling for divs that will be invisible when printing
  185. when printing. */
  186. div.header, div.footer, div.near, div.definition, p.comment, a.tag {
  187. font-size: 14pt;
  188. }
  189. @media print {
  190. div.header, div.footer, div.near, div.definition, p.comment, a.tag {
  191. font-size: 8pt;
  192. }
  193. }
  194. div.footer form.search {
  195. display: none;
  196. }
  197. /* Recent Changes */
  198. div.rc {
  199. overflow: hidden;
  200. }
  201. div.rc li + li {
  202. margin-top: 1em;
  203. }
  204. div.rc li strong, table.history strong, strong.description {
  205. font-family: inherit;
  206. font-weight: inherit;
  207. }
  208. .red {
  209. background: red;
  210. color: red;
  211. }
  212. .orange {
  213. background: orange;
  214. color: orange;
  215. }
  216. .yellow {
  217. background: yellow;
  218. color: yellow;
  219. }
  220. .green {
  221. background: green;
  222. color: green;
  223. }
  224. .blue {
  225. background: blue;
  226. color: blue;
  227. }
  228. .indigo {
  229. background: indigo;
  230. color: indigo;
  231. }
  232. .violet {
  233. background: violet;
  234. color: violet;
  235. }
  236. .white {
  237. background: white;
  238. color: white;
  239. }
  240. .ip-code {
  241. border: 1px solid #666;
  242. }
  243. /* Diff */
  244. div.diff {
  245. padding-left: 5%;
  246. padding-right: 5%;
  247. font-size: 12pt;
  248. color: #000;
  249. }
  250. div.old {
  251. background-color: #ffffaf;
  252. }
  253. div.new {
  254. background-color: #cfffcf;
  255. }
  256. div.refer {
  257. padding-left: 5%;
  258. padding-right: 5%;
  259. font-size: 12pt;
  260. }
  261. div.message {
  262. background-color:#fee;
  263. color:#000;
  264. }
  265. img.xml {
  266. border:none;
  267. padding:1px;
  268. }
  269. a.small img {
  270. max-width:300px;
  271. }
  272. a.large img {
  273. max-width:600px;
  274. }
  275. div.sister {
  276. margin-right:1ex;
  277. background-color:inherit;
  278. }
  279. div.sister p {
  280. margin-top:0;
  281. }
  282. div.sister hr {
  283. display:none;
  284. }
  285. div.sister img {
  286. border:none;
  287. }
  288. div.near, div.definition {
  289. background-color:#efe;
  290. }
  291. div.sidebar {
  292. float:right;
  293. border:1px dotted #000;
  294. padding:0 1em;
  295. }
  296. div.sidebar ul {
  297. padding-left:1em;
  298. }
  299. /* replacements, features */
  300. ins {
  301. font-style: italic;
  302. text-decoration: none;
  303. }
  304. acronym, abbr {
  305. letter-spacing:0.1em;
  306. font-variant:small-caps;
  307. }
  308. /* Interlink prefix not shown */
  309. a .site, a .separator {
  310. display: none;
  311. }
  312. a cite { font:inherit; }
  313. /* browser borkage */
  314. textarea[name="text"] { width:97%; height:80%; }
  315. textarea[name="summary"] { width:97%; height:3em; }
  316. /* comments */
  317. textarea[name="aftertext"] { width:97%; height:10em; }
  318. div.commentshown {
  319. font-size: 12pt;
  320. padding: 2em 0;
  321. }
  322. div.commenthidden {
  323. display:none;
  324. }
  325. div.commentshown {
  326. display:block;
  327. }
  328. p.comment {
  329. margin-bottom: 0;
  330. }
  331. div.comment {
  332. font-size: 14pt;
  333. }
  334. div.comment h2 {
  335. margin-top: 5em;
  336. }
  337. /* comment pages with username, homepage, and email subscription */
  338. .comment form span { display: block; }
  339. .comment form span label { display: inline-block; width: 10em; }
  340. /* IE sucks */
  341. .comment input#username,
  342. .comment input#homepage,
  343. .comment input#mail { width: 20em; }
  344. /* cal */
  345. div.month { padding:0; margin:0 2ex; }
  346. body > div.month {
  347. float:right;
  348. background-color: inherit;
  349. border:solid thin;
  350. padding:0 1ex;
  351. }
  352. .year > .month {
  353. float:left;
  354. }
  355. .footer {
  356. clear:both;
  357. }
  358. .month .title a.local {
  359. background-color: inherit;
  360. }
  361. .month a.local {
  362. background-color: #ddf;
  363. }
  364. .month a.today {
  365. background-color: #fdd;
  366. }
  367. .month a {
  368. color:inherit;
  369. font-weight:inherit;
  370. text-decoration: none;
  371. background-color: #eee;
  372. }
  373. /* history tables and other tables */
  374. table.history {
  375. border: none;
  376. }
  377. td.history {
  378. border: none;
  379. }
  380. table {
  381. border: none;
  382. border-top: 1px solid #ccc;
  383. border-bottom: 1px solid #ccc;
  384. padding: 1em;
  385. margin: 1em 2em;
  386. }
  387. table tr td, table tr th {
  388. border: none;
  389. padding: 0.2em 0.5em;
  390. vertical-align: top;
  391. }
  392. table.arab tr th {
  393. font-weight:normal;
  394. text-align:left;
  395. vertical-align:top;
  396. }
  397. table.arab, table.arab tr th, table.arab tr td {
  398. border:none;
  399. }
  400. th.nobreak {
  401. white-space:nowrap;
  402. }
  403. table.full { width:99%; margin-left:1px; }
  404. table.j td, table.j th, table tr td.j, table tr th.j, .j { text-align:justify; }
  405. table.l td, table.l th, table tr td.l, table tr th.l, .l { text-align:left; }
  406. table.r td, table.r th, table tr td.r, table tr th.r, .r { text-align:right; }
  407. table.c td, table.c th, table tr td.c, table tr th.c, .c { text-align:center; }
  408. table.t td { vertical-align: top; }
  409. td.half { width:50%; }
  410. td.third { width:33%; }
  411. form table td { padding:5px; }
  412. /* lists */
  413. dd { padding-bottom:0.5ex; }
  414. dl.inside dt { float:left; }
  415. /* search */
  416. div.search span.result { font-size:larger; }
  417. div.search span.info { font-size:smaller; font-style:italic; }
  418. div.search p.result { display:none; }
  419. img.logo {
  420. float: right;
  421. margin: 0 0 0 1ex;
  422. padding: 0;
  423. border: 1px solid #000;
  424. opacity: 0.3;
  425. background-color:#ffe;
  426. }
  427. /* images */
  428. div.content a.feed img, div.journal a.feed img,
  429. div.content a img.smiley, div.journal a img.smiley, img.smiley,
  430. div.content a.inline img, div.journal a.inline img,
  431. div.content li a.image img, div.journal li a.image img {
  432. margin: 0; padding: 0; border: none;
  433. }
  434. div.image a img {
  435. margin-bottom: 0;
  436. }
  437. div.image span.caption {
  438. margin: 0 1em;
  439. }
  440. img {
  441. max-width: 100%;
  442. }
  443. .left { float:left; margin-right: 1em; }
  444. .right { float:right; margin-left: 1em; }
  445. .half img { height: 50%; width: 50%; }
  446. .face img { width: 200px; }
  447. div.left .left, div.right .right {
  448. float:none;
  449. }
  450. .center { text-align:center; }
  451. table.aside {
  452. float:right;
  453. width:40%;
  454. margin-left: 1em;
  455. padding: 1ex;
  456. border: 1px dotted #666;
  457. }
  458. table.aside td {
  459. text-align:left;
  460. }
  461. div.sidebar {
  462. float:right; width: 250px;
  463. text-align: right;
  464. border: none;
  465. margin: 1ex;
  466. }
  467. .bigsidebar {
  468. float:right;
  469. width: 500px;
  470. border: none;
  471. margin-left: 1ex;
  472. font-size: 80%;
  473. }
  474. dl.irc dt { width:20ex; float:left; text-align:right; clear:left; }
  475. dl.irc dt span.time { float:left; }
  476. dl.irc dd { margin-left:22ex; }
  477. /* portrait */
  478. div.footer, div.comment, hr { clear: both; }
  479. .portrait { float: left; font-size: small; margin-right: 1em; }
  480. .portrait a { color: #999; }
  481. div.left { float:left; margin:1em; padding: 0.5em; }
  482. div.left p { display:table-cell; }
  483. div.left p + p { display:table-caption; caption-side:bottom; }
  484. p.table a { float:left; width:20ex; }
  485. p.table + p { clear:both; }
  486. /* mastodon */
  487. div.mastodon { padding: 0 2em }
  488. div.mastodon .status {padding-top: 1ex; border-bottom: 1px solid grey;}
  489. div.mastodon .status:first-child {border-top: 1px solid grey;}
  490. /* terminal "screenshots" */
  491. .terminal {
  492. width: 80%;
  493. margin: 50px auto 100px auto;
  494. padding: 5px;
  495. font-size: 62%; /* fits 80ex */
  496. border: 1px solid #999;
  497. border-radius: 5px;
  498. box-shadow: 0px 25px 50px #999;
  499. }
  500. /* rss */
  501. channel * { display: block; }
  502. channel title {
  503. margin-top: 30pt;
  504. }
  505. copyright {
  506. font-size: 14pt;
  507. margin-top: 1em;
  508. }
  509. channel:before {
  510. font-size: 14pt;
  511. display: block;
  512. margin: 1em;
  513. padding: 0.5em;
  514. content: "This document is to be read in a feed reader. The item content is escaped HTML, which makes it hard to read for humans. Sorry!";
  515. color: red;
  516. border: 1px solid red;
  517. }
  518. license {
  519. font-size: 11pt;
  520. margin-bottom: 9pt;
  521. }
  522. contributor:before { content: "Last edited by "; }
  523. contributor:after { content: "."; }
  524. generator:before { content: "Feed generated by "; }
  525. generator:after { content: "."; }
  526. channel description {
  527. font-weight: bold;
  528. }
  529. item description {
  530. font-weight: normal;
  531. margin-bottom: 1em;
  532. }
  533. link, managingEditor, webMaster, license, url,
  534. docs, language,
  535. pubDate, lastBuildDate, ttl, guid, category, comments,
  536. docs, image title, image link,
  537. status, version, diff, history, importance {
  538. display: none;
  539. }