alex-2012.css 11 KB

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