default.css 2.8 KB

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