alex-2015.css 10 KB

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