alex-2018.css 11 KB

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