default.css 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181
  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: #335555;
  18. background-color: #99bbdd;
  19. background: linear-gradient(to top right, #99bbdd, #3366aa);
  20. font-size: 12px;
  21. line-height: 1.4;
  22. margin: 0px 5px 0px 5px;
  23. }
  24. div#header {
  25. color: #335555;
  26. border-bottom: 2px solid #335555;
  27. margin-bottom: 20px;
  28. padding: 1em 0em 2em 0em;
  29. }
  30. div#logo a {
  31. color: #335555;
  32. float: left;
  33. font-size: 14px;
  34. font-weight: bold;
  35. text-decoration: none;
  36. }
  37. div#navigation {
  38. color: #335555;
  39. float: right;
  40. background-color: #ddeeff;
  41. padding: 10px 10px;
  42. width: 10%;
  43. }
  44. div#navigation a {
  45. color: #335555;
  46. font-size: 14px;
  47. font-weight: bold;
  48. text-decoration: none;
  49. text-transform: uppercase;
  50. }
  51. div#footer {
  52. border-top: solid 2px #335555;
  53. color: #335555;
  54. font-size: 10px;
  55. margin-top: 30px;
  56. padding: 12px 0px 12px 0px;
  57. text-align: right;
  58. }
  59. div#content {
  60. color: #444455;
  61. background-color: #ddeeff;
  62. background: linear-gradient(to bottom left, #99bbdd, #ddeeff);
  63. padding: 20px;
  64. max-width: 50em;
  65. }
  66. h1 {
  67. color: #222211;
  68. font-size: 24px;
  69. padding-top: 0.2em;
  70. }
  71. h2 {
  72. color: #222211;
  73. font-size: 20px;
  74. padding-top: 0.2em;
  75. }
  76. h3 {
  77. font-size: 16px;
  78. padding-top: 0.2em;
  79. }
  80. div.info {
  81. color: #335555;
  82. font-size: 10px;
  83. font-style: italic;
  84. }
  85. div.figure {
  86. margin: 3px;
  87. float: right;
  88. }
  89. img {
  90. margin: 3px;
  91. float: right;
  92. }
  93. div.sourceCode {
  94. margin-left: 3em;
  95. margin-right: 3em;
  96. padding: 1em;
  97. vertical-align: text-bottom;
  98. align: left;
  99. border-left: 2px solid #5599dd;
  100. background-color: #ffffee;
  101. }
  102. div.caption {
  103. color: #335555;
  104. font-size: 10px;
  105. text-align: right;
  106. padding: 3px;
  107. }
  108. p.caption {
  109. color: #335555;
  110. font-size: 10px;
  111. text-align: right;
  112. padding: 3px;
  113. }
  114. a:link {
  115. color: #0088ff;
  116. }
  117. a:visited {
  118. color: #0066ee;
  119. }
  120. .comment-click {
  121. margin-top: 5px;
  122. border-top: solid 1px #335555;
  123. padding-top: 5px;
  124. position: relative;
  125. color: #335555;
  126. font-size: 11px;
  127. display: inline;
  128. }
  129. .comment-click:before {
  130. content: "Comment?";
  131. }
  132. .comment-click:focus {
  133. pointer-events: none;
  134. }
  135. .comment-click:focus .comment-clicked {
  136. opacity: 1;
  137. visibility: visible;
  138. pointer-events: auto;
  139. }
  140. .comment-clicked {
  141. position: relative;
  142. z-index: 1;
  143. text-align: left;
  144. opacity: 0;
  145. visibility: hidden;
  146. transition: visibility 0.5s;
  147. }