emacs.css 10.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568
  1. /* [Default Theme] */
  2. body, rss {
  3. background-color:#FFF;
  4. color: #000;
  5. font-weight: normal;
  6. padding: 1em 2em;
  7. }
  8. div.header h1, title {
  9. font-size: 250%;
  10. line-height: 105%;
  11. font-family: inherit;
  12. font-weight: normal;
  13. letter-spacing: 0.1em;
  14. margin: 1em 0;
  15. }
  16. div.header h1 a, div.journal h1 a {
  17. text-decoration: none;
  18. color: #000;
  19. }
  20. h1, h2, item title {
  21. font-size: larger;
  22. font-weight: normal; /* inherit not supported by IE */
  23. letter-spacing: 0.1em;
  24. margin: 2em 0 1em 0;
  25. }
  26. h3 {
  27. font-size: medium;
  28. font-weight: normal;
  29. font-style: italic;
  30. margin: 2em 0 1em 0;
  31. }
  32. a:link {
  33. color:#00F;
  34. }
  35. a:visited {
  36. color:#A0A;
  37. }
  38. a:active {
  39. color:#F00;
  40. }
  41. span.bar a {
  42. margin-right:1ex;
  43. }
  44. img {
  45. border-style:none;
  46. }
  47. img.upload {
  48. background: inherit;
  49. border: 1px solid #aaa;
  50. padding: 5px;
  51. }
  52. img.logo {
  53. float: right;
  54. clear: right;
  55. }
  56. div.diff {
  57. padding-left:5%;
  58. padding-right:5%;
  59. }
  60. div.diff p b {
  61. font-size: 150%;
  62. font-weight: normal;
  63. }
  64. div.old {
  65. background-color:#FFFFAF;
  66. }
  67. div.new {
  68. background-color:#CFFFCF;
  69. }
  70. div.refer {
  71. padding-left: 5%;
  72. padding-right: 5%;
  73. font-size: 80%;
  74. }
  75. div.message {
  76. background-color:#FEE;
  77. }
  78. div.sister {
  79. float:left;
  80. margin-right:1ex;
  81. background-color:#fff;
  82. }
  83. div.sister p {
  84. margin-top:0;
  85. }
  86. div.sister hr {
  87. display:none;
  88. }
  89. div.near, div.definition {
  90. background-color:#efe;
  91. }
  92. div.near p, div.definition p {
  93. margin-top: 0;
  94. }
  95. div.toc {
  96. padding: 0 0.4em 0.4em 0.4em;
  97. margin: 3em 20% 1em 2em;
  98. margin-right: 200px;
  99. background-color:#FAFAFF;
  100. border:#999 1px solid;
  101. font-size: 80%;
  102. line-height: 90%;
  103. font-family: sans-serif;
  104. }
  105. div.toc.dense li {
  106. display: inline;
  107. }
  108. div.toc h2 {
  109. margin: 0;
  110. padding-top: 1em;
  111. padding-left: 1em;
  112. font-size: inherit;
  113. }
  114. /* get rid of useless "10 results found" when using indexed search. */
  115. div.search p.result { display:none; }
  116. label[for="searchlang"], input#searchlang { display: none; }
  117. form.tiny, form.tiny p {
  118. display:inline;
  119. white-space:nowrap;
  120. }
  121. form.tiny input {
  122. margin: 0.1em;
  123. font-size: 80%;
  124. font-family: inherit;
  125. }
  126. form.tiny input[type="text"] {
  127. width: 10em;
  128. }
  129. /* portrait support */
  130. div.color {
  131. clear:left;
  132. }
  133. div.one {
  134. background-color:#eee;
  135. padding: 0.1ex 0;
  136. }
  137. img.portrait {
  138. float:left;
  139. clear:left;
  140. background-color:#fff;
  141. border:#999 1px solid;
  142. padding:10px;
  143. margin:10px;
  144. }
  145. li {
  146. margin-left:1em;
  147. }
  148. div.portrait {
  149. float: left;
  150. clear: left;
  151. font-size: xx-small;
  152. padding-left: 10px;
  153. }
  154. div.portrait + p {
  155. min-height:70px;
  156. }
  157. div.portrait img.portrait {
  158. float:none;
  159. margin:10px 10px 0 0;
  160. }
  161. div.portrait a {
  162. text-decoration:none;
  163. color:#999;
  164. }
  165. dl.irc dt {
  166. width:15ex;
  167. float:left;
  168. text-align:right;
  169. clear:left;
  170. }
  171. dl.irc dt span.time { display:none; }
  172. dl.irc dd {
  173. margin-left:17ex;
  174. }
  175. table.history {
  176. border-style:none;
  177. }
  178. table.history td[colspan="3"] {
  179. padding: 1em 0;
  180. }
  181. td.history {
  182. border-style:none;
  183. }
  184. table.history input[type="submit"] {
  185. font-size: 70%;
  186. padding: 0;
  187. margin: 0 1ex;
  188. }
  189. table.user {
  190. border-style:solid;
  191. border-width:thin;
  192. }
  193. table.user tr td {
  194. border-style:solid;
  195. border-width:thin;
  196. padding:5px;
  197. }
  198. span.result {
  199. font-size:larger;
  200. }
  201. span.info {
  202. font-size:smaller;
  203. font-style:italic;
  204. }
  205. div.rss {
  206. background-color:#EEF;
  207. }
  208. .left { float:left; margin-right:1em; }
  209. .right { float:right; margin-left:1em; }
  210. /*
  211. * a.definition:before { content:"[::"; }
  212. * a.definition:after { content:"]"; }
  213. * a.link:before { content:"[##"; }
  214. * a.link:after { content:"]" }
  215. */
  216. a.definition {
  217. color:#000;
  218. text-decoration:none;
  219. border-bottom:dashed 1px;
  220. }
  221. a.alias {
  222. text-decoration:none;
  223. border-bottom:dashed 1px;
  224. }
  225. a.near:link {
  226. color:#093;
  227. }
  228. a.near:visited {
  229. color:#550;
  230. }
  231. ol, ul, dl {
  232. padding-top:0.5em;
  233. }
  234. dd, li {
  235. margin-bottom:0.5em;
  236. }
  237. /* elisp files and other scripts for download */
  238. p.download a, a.download {
  239. padding: 0.5em;
  240. color: black;
  241. text-decoration: none;
  242. background-color: #cfa;
  243. border: 1px solid #7a7;
  244. -moz-border-radius: 5px;
  245. -webkit-border-radius: 5px;
  246. }
  247. /* cal */
  248. pre.cal {
  249. float:left;
  250. margin:3ex;
  251. height:20ex;
  252. }
  253. pre.cal a {
  254. text-decoration:none;
  255. font-weight:bold;
  256. }
  257. pre.cal a:hover {
  258. background-color:#eef;
  259. }
  260. h2, h3, h4, h5, h6, hr, div.footer {
  261. clear:both;
  262. }
  263. div.footer {
  264. margin-top: 2em;
  265. }
  266. .legal {
  267. font-size: 80%;
  268. }
  269. /* printable index */
  270. div.letter br {
  271. display: none;
  272. }
  273. div.letter h2 {
  274. clear: both;
  275. padding-top: 2ex;
  276. border-bottom: solid 1px;
  277. }
  278. div.letter > a {
  279. display: block;
  280. width: 40ex;
  281. float: left;
  282. border:none;
  283. }
  284. textarea[name="text"] {
  285. width:100%;
  286. height:80%;
  287. }
  288. textarea[name="summary"] {
  289. width:100%;
  290. height:3em;
  291. }
  292. div.comment textarea {
  293. height:10em;
  294. }
  295. /* calendar */
  296. div.month {
  297. padding:0;
  298. margin:0 2ex;
  299. }
  300. div.year div.month {
  301. float:left;
  302. }
  303. div.month a {
  304. text-decoration:none;;
  305. }
  306. div.month a.edit {
  307. color:inherit;
  308. }
  309. div.month a.local {
  310. font-weight:bold;
  311. }
  312. /* highlighting */
  313. /* highlighting source code */
  314. span.builtin { color: #483d8b; } /* DarkSlateBlue */
  315. span.comment { color: #b22222; } /* Firebrick */
  316. span.constant { color: #008b8b; } /* DarkCyan */
  317. span.function { color: #0000ff; } /* Blue1 */
  318. span.keyword { color: #7f007f; } /* Purple */
  319. span.string { color: #8b475d; } /* VioletRed4 */
  320. span.type { color: #228b22; } /* ForestGreen */
  321. span.warning { color: #ff0000; font-weight: bold; } /* Red1 */
  322. span.comment span,
  323. span.string span { color: inherit; }
  324. span.comment span.important.constant,
  325. span.string span.important.constant { color: #008b8b; }
  326. /* old: Equivalent to Output::HTML */
  327. span.linecomment { color: green; }
  328. span.blockcomment { color: green; }
  329. span.prepro { color: purple; }
  330. span.select { font-weight: bold; }
  331. span.quote { color: blue; }
  332. span.category_1 { color: teal; }
  333. span.category_2 { color: blue; }
  334. span.category_3 { color: blue; }
  335. /* printing */
  336. @media print {
  337. body {
  338. font-size: 10pt;
  339. line-height: 12pt;
  340. }
  341. a:link, a:visited {
  342. color:#000;
  343. text-decoration:none;
  344. }
  345. img.logo, img.logo, div.header span, div.header br,
  346. div.header form, div.diff,
  347. a.edit, a.number span,
  348. div.footer, div.footer + hr, div.sister {
  349. display:none;
  350. }
  351. a[class="url number"]:after,
  352. a[class="inter number"]:after {
  353. content:"[" attr(href) "]";
  354. }
  355. a[class="local number"]:after {
  356. content:"[" attr(title) "]";
  357. }
  358. }
  359. /* remove the logo from the normal flow */
  360. body.sidebar div.header img.logo {
  361. position:absolute;
  362. top:10pt;
  363. right:10pt;
  364. }
  365. /* float the top goto bar to the left
  366. leave enough space at the top for the logo which is removed from the flow
  367. everything should be pixel based -- no scaling
  368. assume maximum of 5 rows, 2 colums = 10 items
  369. */
  370. body.sidebar div.header span.gotobar {
  371. display:block;
  372. width:200px;
  373. height:200px;
  374. background:#fff;
  375. float:right;
  376. padding:140px 0 0 30px;
  377. margin:0;
  378. }
  379. body.sidebar div.header span.gotobar + br {
  380. display:none;
  381. }
  382. body.sidebar div.header span.specialdays {
  383. color:#aaa;
  384. }
  385. body.sidebar div.header span.gotobar a {
  386. display:block;
  387. float:left;
  388. width:99px;
  389. margin:0;
  390. padding:0;
  391. font-size:14px;
  392. }
  393. body.sidebar div.footer span.edit br {
  394. display:none;
  395. }
  396. body.sidebar div.footer span.edit {
  397. display:block;
  398. position:absolute;
  399. top:230px;
  400. right:0;
  401. padding:0;
  402. margin:0;
  403. width:208px;
  404. }
  405. body.sidebar div.footer span.edit a {
  406. display:block;
  407. font-size:14px;
  408. }
  409. body.sidebar div.footer span.gotobar {
  410. display:none;
  411. }
  412. body.sidebar div.footer span.time br {
  413. display:none;
  414. }
  415. body.sidebar hr, body.sidebar h2 {
  416. clear: left;
  417. }
  418. body.sidebar div.toc {
  419. margin-right:240px;
  420. }
  421. /* The textarea needs to be limited in width or else
  422. the floating sidebar will force it down */
  423. body.sidebar div.edit form {
  424. margin-right:240px;
  425. }
  426. body.tiny {
  427. font-size: 8pt;
  428. line-height: 9pt;
  429. }
  430. body.small {
  431. font-size: 10pt;
  432. line-height: 11pt;
  433. }
  434. body.medium {
  435. font-size: 12pt;
  436. line-height: 14pt;
  437. font-family: "Lucida Bright", serif;
  438. }
  439. body.medium div.content h1, body.medium h2 {
  440. font-size: 14pt;
  441. }
  442. body.medium div.toc h2 {
  443. font-size: inherit;
  444. }
  445. body.big {
  446. font-size: 14pt;
  447. line-height: 16pt;
  448. font-family: "Lucida Bright", serif;
  449. }
  450. body.big div.toc {
  451. font-family: "Lucida Sans", sans-serif;
  452. }
  453. body.typo div.content h1, body.typo div.content > h2 {
  454. font-variant: small-caps;
  455. margin-top: 5em;
  456. margin-bottom: 2em;
  457. }
  458. body.typo h3 {
  459. margin-top: 3em;
  460. margin-bottom: 1em;
  461. }
  462. /* rss */
  463. channel * { display: block; }
  464. channel > link:before {
  465. font-size: x-large;
  466. display: block;
  467. margin: 1ex;;
  468. padding: 1ex;
  469. content: "This is an RSS feed, designed to be read in an RSS application.";
  470. color: red;
  471. border: 1px solid red;
  472. }
  473. link {
  474. font-size: small;
  475. margin-bottom: 2ex;
  476. }
  477. username:before { content: "Last edited by "; }
  478. username:after { content: "."; }
  479. generator:before { content: "Feed generated by "; }
  480. generator:after { content: "."; }
  481. description {
  482. font-weight: bold;
  483. font-style: normal;
  484. }
  485. item title {
  486. margin-bottom: 0;
  487. }
  488. item description {
  489. font-weight: normal;
  490. font-style: italic;
  491. margin-bottom: 1em;
  492. }
  493. link, license {
  494. font-size: 10pt;
  495. }
  496. copyright {
  497. font-size: 12pt;
  498. line-height: 14pt;
  499. margin: 2em;
  500. }
  501. image url {
  502. text-indent: -5000px; /* hide text off-screen */
  503. height: 112px;
  504. width: 196px;
  505. background:url("http://www.emacswiki.org/emacs_logo.png") no-repeat;
  506. position: absolute;
  507. top: 0;
  508. right: 10px;
  509. display: block;
  510. }
  511. docs, language,
  512. pubDate, lastBuildDate, ttl, guid, category, comments,
  513. docs, image title, image link,
  514. status, version, diff, history, importance, interwiki {
  515. display: none;
  516. }