dapiica.css 3.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214
  1. @import "base.css";
  2. /* colors from paletton.com: triad, base RGB AA3939 */
  3. @font-face {
  4. font-family: 'Coustard';
  5. font-style: normal;
  6. font-weight: 900;
  7. src: local('Coustard'), url(../images/Coustard.woff) format('woff');
  8. }
  9. @font-face {
  10. font-family: 'Antic Slab';
  11. font-style: normal;
  12. font-weight: 400;
  13. src: local('Antic Slab'), local('AnticSlab-Regular'), url(../images/AnticSlab.woff) format('woff');
  14. }
  15. body {
  16. color: #000;
  17. background: #F7B9B9;
  18. font-family: Arial, Helvetica, sans-serif;
  19. font-size: 16px;
  20. margin: 0 auto 100px auto;
  21. max-width: 100%;
  22. padding: 30px 50px 50px 30px;
  23. }
  24. a{
  25. color: #1D5454;
  26. text-decoration: none;
  27. }
  28. div#header {
  29. border-bottom: 1px solid black;
  30. margin-bottom: 30px;
  31. padding: 0px 0px 12px 0px;
  32. z-index: 999;
  33. width:100%;
  34. }
  35. div#logo {
  36. width:100%;
  37. text-align: center;
  38. }
  39. div#logo a {
  40. color: #0C3E3E;
  41. font-family: 'Coustard', sans-serif;
  42. font-size: 38px;
  43. font-weight: bold;
  44. text-decoration: none;
  45. text-shadow:;
  46. }
  47. div#header #navigation {
  48. margin-top: 0px;
  49. text-align: center;
  50. }
  51. div#header #navigation a {
  52. color: #1D5454;
  53. font-family: 'Antic Slab', sans-serif;
  54. font-size: 20px;
  55. font-weight: bold;
  56. margin-left: 20px;
  57. text-decoration: none;
  58. /* text-transform: uppercase; */
  59. }
  60. div#header #navigation a:hover {
  61. background:#801515;
  62. color:white;
  63. text-decoration: none;
  64. }
  65. div#footer {
  66. color: #444;
  67. font-size: 12px;
  68. text-align: right;
  69. font-style: italic;
  70. width: 50%;
  71. float: right;
  72. }
  73. div#footer a {
  74. color: #000;
  75. text-decoration: none;
  76. }
  77. h1 {
  78. font-size: 24px;
  79. padding: 0px 0px 0px 10px;
  80. color: #550000;
  81. background: #D46A6A;
  82. }
  83. h2 {
  84. font-size: 20px;
  85. }
  86. div.info {
  87. color: #555;
  88. font-size: 14px;
  89. font-style: italic;
  90. }
  91. table {
  92. border-collapse: collapse;
  93. table-layout: fixed;
  94. background: #7B9494;
  95. empty-cells: show;
  96. }
  97. table#plain, td#plain {
  98. background: transparent;
  99. border: 0px;
  100. text-align: left;
  101. }
  102. table#nextprev, td#nextprev {
  103. background: transparent;
  104. border: 0px;
  105. text-align: centre;
  106. }
  107. td {
  108. height: 20px;
  109. }
  110. th {
  111. background: #577B7B;
  112. }
  113. table, th, td {
  114. padding: 0px 15px 0px 15px;
  115. border: 1px solid black;
  116. text-align: center;
  117. }
  118. dd {
  119. font-style: italic;
  120. }
  121. .gloss--glossed {
  122. background: #7B9494;
  123. width: 100%;
  124. padding: 0px 0px 0px 10px;
  125. border-radius: 5px;
  126. }
  127. table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
  128. {
  129. margin: 0;
  130. padding: 0;
  131. border: 0;
  132. vertical-align: baseline;
  133. border: none;
  134. background: #fff;
  135. text-align: left;
  136. }
  137. td.lineNumbers
  138. {
  139. font-family: mono;
  140. border-right: 1px solid #AAAAAA;
  141. text-align: right;
  142. color: grey;
  143. padding-right: 5px;
  144. padding-left: 5px;
  145. }
  146. td.sourceCode { padding-left: 5px; }
  147. .sourceCode span.kw { color: #007020; font-weight: bold; }
  148. .sourceCode span.dt { color: #902000; }
  149. .sourceCode span.dv { color: #40a070; }
  150. .sourceCode span.bn { color: #40a070; }
  151. .sourceCode span.fl { color: #40a070; }
  152. .sourceCode span.ch { color: #4070a0; }
  153. .sourceCode span.st { color: #4070a0; }
  154. .sourceCode span.co { color: #60a0b0; font-style: italic; }
  155. .sourceCode span.ot { color: #007020; }
  156. .sourceCode span.al { color: red; font-weight: bold; }
  157. .sourceCode span.fu { color: #06287e; }
  158. .sourceCode span.re { }
  159. .sourceCode span.er { color: red; font-weight: bold; }
  160. div.sourceCode {
  161. background: #fff;
  162. padding-left: 10px;
  163. border-radius: 3px;
  164. }
  165. code {
  166. font-family: mono;
  167. font-size: 14px;
  168. background: #fff;
  169. width: 100%;
  170. padding-left: 1px;
  171. padding-right: 1px;
  172. }
  173. a#nextprev {
  174. background: black;
  175. font-size: 20px;
  176. padding: 0px 10px 0px 10px;
  177. color: #550000;
  178. background: #D46A6A;
  179. }