docstyle.css 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
  1. html { font-family: "Lucida Grande","Trebuchet MS",sans-serif; font-size: 12pt; }
  2. body { max-width: 60em; }
  3. .title { text-align: center; }
  4. .todo { color: red; }
  5. .done { color: green; }
  6. .tag { background-color:lightblue; font-weight:normal }
  7. .target { }
  8. .timestamp { color: grey }
  9. .timestamp-kwd { color: CadetBlue }
  10. p.verse { margin-left: 3% }
  11. pre {
  12. border: 1pt solid #AEBDCC;
  13. background-color: #F3F5F7;
  14. padding: 5pt;
  15. font-family: monospace;
  16. font-size: 90%;
  17. overflow:auto;
  18. }
  19. pre.src {
  20. background-color: #eee; color: #112; border: 1px solid #000;
  21. }
  22. table { border-collapse: collapse; }
  23. td, th { vertical-align: top; }
  24. dt { font-weight: bold; }
  25. div.figure { padding: 0.5em; }
  26. div.figure p { text-align: center; }
  27. .linenr { font-size:smaller }
  28. .code-highlighted {background-color:#ffff00;}
  29. .org-info-js_info-navigation { border-style:none; }
  30. #org-info-js_console-label { font-size:10px; font-weight:bold;
  31. white-space:nowrap; }
  32. .org-info-js_search-highlight {background-color:#ffff00; color:#000000;
  33. font-weight:bold; }
  34. sup {
  35. vertical-align: baseline;
  36. position: relative;
  37. top: -0.5em;
  38. font-size: 80%;
  39. }
  40. sup a:link, sup a:visited {
  41. text-decoration: none;
  42. color: #c00;
  43. }
  44. sup a:before { content: "["; color: #999; }
  45. sup a:after { content: "]"; color: #999; }
  46. h1.title { border-bottom: 4px solid #000; padding-bottom: 5px; margin-bottom: 2em; }
  47. #postamble {
  48. color: #777;
  49. font-size: 90%;
  50. padding-top: 1em; padding-bottom: 1em; border-top: 1px solid #999;
  51. margin-top: 2em;
  52. padding-left: 2em;
  53. padding-right: 2em;
  54. text-align: right;
  55. }
  56. #postamble p { margin: 0; }
  57. #footnotes { border-top: 1px solid #000; }
  58. h1 { font-size: 200% }
  59. h2 { font-size: 175% }
  60. h3 { font-size: 150% }
  61. h4 { font-size: 125% }
  62. h1, h2, h3, h4 { font-family: "Bookman",Georgia,"Times New Roman",serif; font-weight: normal; }
  63. @media print {
  64. html { font-size: 11pt; }
  65. }