beige-red.css 11 KB

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