default.css 1.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129
  1. /*
  2. color scheme:
  3. dark: #112211
  4. #444455
  5. #3366aa
  6. #5599dd
  7. #aabbcc
  8. alternate:
  9. #222211
  10. #335555
  11. #0066ee
  12. #0088ff
  13. #99bbdd
  14. body background: #ddeeff
  15. */
  16. body {
  17. color: #222211;
  18. background-color: #99bbdd;
  19. font-size: 12px;
  20. margin: 0px 5px 0px 5px;
  21. }
  22. div#header {
  23. color: #335555;
  24. border-bottom: 2px solid #335555;
  25. margin-bottom: 20px;
  26. padding: 12px 0px 12px 0px;
  27. }
  28. div#logo a {
  29. color: #335555;
  30. float: left;
  31. font-size: 14px;
  32. font-weight: bold;
  33. text-decoration: none;
  34. }
  35. div#navigation {
  36. color: #335555;
  37. float: right;
  38. background-color: #ddeeff;
  39. padding: 10px 10px;
  40. width: 10%;
  41. }
  42. div#navigation a {
  43. color: #335555;
  44. font-size: 14px;
  45. font-weight: bold;
  46. text-decoration: none;
  47. text-transform: uppercase;
  48. }
  49. div#footer {
  50. border-top: solid 2px #335555;
  51. color: #335555;
  52. font-size: 10px;
  53. margin-top: 30px;
  54. padding: 12px 0px 12px 0px;
  55. text-align: right;
  56. }
  57. div#content {
  58. color: #222211;
  59. background-color: #ddeeff;
  60. padding: 20px;
  61. width: 80%;
  62. }
  63. h1 {
  64. font-size: 24px;
  65. }
  66. h2 {
  67. font-size: 20px;
  68. }
  69. div.info {
  70. color: #335555;
  71. font-size: 14px;
  72. font-style: italic;
  73. }
  74. div.figure {
  75. margin: 3px;
  76. float: right;
  77. }
  78. img {
  79. margin: 3px;
  80. float: right;
  81. }
  82. div.sourceCode {
  83. margin-left: 10%;
  84. margin-right: 10%;
  85. background-color: #ffffff;
  86. }
  87. div.caption {
  88. color: #335555;
  89. font-size: 10px;
  90. text-align: right;
  91. padding: 3px;
  92. }
  93. p.caption {
  94. color: #335555;
  95. font-size: 10px;
  96. text-align: right;
  97. padding: 3px;
  98. }
  99. a:link {
  100. color: #0088ff;
  101. }
  102. a:visited {
  103. color: #0066ee;
  104. }