default.css 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156
  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. background: linear-gradient(to top right, #99bbdd, #3366aa);
  20. font-size: 12px;
  21. margin: 0px 5px 0px 5px;
  22. }
  23. div#header {
  24. color: #335555;
  25. border-bottom: 2px solid #335555;
  26. margin-bottom: 20px;
  27. padding: 12px 0px 12px 0px;
  28. }
  29. div#logo a {
  30. color: #335555;
  31. float: left;
  32. font-size: 14px;
  33. font-weight: bold;
  34. text-decoration: none;
  35. }
  36. div#navigation {
  37. color: #335555;
  38. float: right;
  39. background-color: #ddeeff;
  40. padding: 10px 10px;
  41. width: 10%;
  42. }
  43. div#navigation a {
  44. color: #335555;
  45. font-size: 14px;
  46. font-weight: bold;
  47. text-decoration: none;
  48. text-transform: uppercase;
  49. }
  50. div#footer {
  51. border-top: solid 2px #335555;
  52. color: #335555;
  53. font-size: 10px;
  54. margin-top: 30px;
  55. padding: 12px 0px 12px 0px;
  56. text-align: right;
  57. }
  58. div#content {
  59. color: #222211;
  60. background-color: #ddeeff;
  61. background: linear-gradient(to bottom left, #99bbdd, #ddeeff);
  62. padding: 20px;
  63. width: 80%;
  64. }
  65. h1 {
  66. font-size: 24px;
  67. }
  68. h2 {
  69. font-size: 20px;
  70. }
  71. div.info {
  72. color: #335555;
  73. font-size: 14px;
  74. font-style: italic;
  75. }
  76. div.figure {
  77. margin: 3px;
  78. float: right;
  79. }
  80. img {
  81. margin: 3px;
  82. float: right;
  83. }
  84. div.sourceCode {
  85. margin-left: 10%;
  86. margin-right: 10%;
  87. background-color: #ffffff;
  88. }
  89. div.caption {
  90. color: #335555;
  91. font-size: 10px;
  92. text-align: right;
  93. padding: 3px;
  94. }
  95. p.caption {
  96. color: #335555;
  97. font-size: 10px;
  98. text-align: right;
  99. padding: 3px;
  100. }
  101. a:link {
  102. color: #0088ff;
  103. }
  104. a:visited {
  105. color: #0066ee;
  106. }
  107. .comment-click {
  108. border-top: solid 1px #335555;
  109. padding-top: 5px;
  110. position: relative;
  111. color: #335555;
  112. font-size: 12px;
  113. display: inline;
  114. }
  115. .comment-click:before {
  116. content: "Comment?";
  117. }
  118. .comment-click:focus .comment-clicked {
  119. display: block;
  120. }
  121. .comment-clicked {
  122. position: relative;
  123. z-index: 1;
  124. text-align: left;
  125. display: none;
  126. }