summaryrefslogtreecommitdiff
path: root/website/local.css
blob: de0f196b14c0cef9f732d39d1791dcfffc305b64 (plain)
  1. h1 {
  2. -moz-border-radius: 4px;
  3. background-color: #B67B4E;
  4. color: black;
  5. display: block;
  6. font-weight: bold;
  7. padding: 0 0 0 10px;
  8. font-size: 1.4em;
  9. }
  10. h2 {
  11. -moz-border-radius: 4px;
  12. background-color: #B67B4E;
  13. color: black;
  14. display: block;
  15. font-weight: bold;
  16. padding: 0 0 0 10px;
  17. font-size: 1.1em;
  18. }
  19. body {
  20. color: #3F403F;
  21. font-family: "Liberation Sans",sans-serif;
  22. font-size: 0.95em;
  23. }
  24. *|*:visited {
  25. color: #f6a464;
  26. }
  27. *|*:-moz-any-link {
  28. text-decoration: none;
  29. }
  30. :-moz-any-link {
  31. cursor: pointer;
  32. }
  33. a:link {
  34. color: #CC6600;
  35. text-deoration: none;
  36. }
  37. a:visited {
  38. color: #c2772b;
  39. }
  40. a:hover {
  41. text-decoration: underline;
  42. }
  43. pre {
  44. background: #ddd;
  45. border: 1px solid #aaa;
  46. padding: 3px 3px 3px 3px;
  47. margin-left: 38px;
  48. margin-right: 5em;
  49. overflow: auto;
  50. }
  51. table.sitenav {
  52. border-bottom: 2px solid black;
  53. padding: 0px;
  54. width: 100%;
  55. font-size: larger;
  56. }
  57. table.sitenav img.logo {
  58. margin: 0em;
  59. padding: 0px;
  60. vertical-align: bottom;
  61. }
  62. table.sitenav img.title {
  63. margin: 0px;
  64. padding: 0px;
  65. vertical-align: top;
  66. }
  67. table.sitenav a {
  68. font-weight: bold;
  69. margin-right: 1em;
  70. font-size: smaller;
  71. }
  72. table.sitenav span.selflink {
  73. font-weight: bold;
  74. text-decoration: underline;
  75. margin-right: 1em;
  76. font-variant: small-caps;
  77. }
  78. div.header {
  79. text-align: right;
  80. display: none;
  81. }
  82. div.actions {
  83. text-align: right;
  84. display: none;
  85. }
  86. #sidebar {
  87. line-height: normal;
  88. width: 100%;
  89. float: none;
  90. margin: 0;
  91. padding: 0;
  92. }
  93. /* align main paragraphs to the right side of the monkey's finger */
  94. div#content > p {
  95. margin-left: 18px;
  96. margin-right: 5em;
  97. }