default.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165
  1. a.summary-letter {
  2. text-decoration: none;
  3. }
  4. a {
  5. color: #2D6198;
  6. }
  7. a:visited {
  8. color: #884488;
  9. }
  10. #banner {
  11. background-color: white;
  12. position: relative;
  13. text-align: center;
  14. }
  15. #banner img {
  16. margin-bottom: 1px;
  17. margin-top: 5px;
  18. }
  19. #body {
  20. margin-left: 1em;
  21. margin-right: 1em;
  22. }
  23. body {
  24. background-color: #313131;
  25. margin: 0;
  26. text-align: justify;
  27. }
  28. .center {
  29. margin-left: auto;
  30. margin-right: auto;
  31. text-align: center;
  32. }
  33. #container {
  34. background-color: white;
  35. color: #202020;
  36. margin-left: 1em;
  37. margin-right: 1em;
  38. }
  39. #footer {
  40. text-align: center;
  41. }
  42. h1 a, h2 a, h3 a, h4 a {
  43. text-decoration: inherit;
  44. color: inherit;
  45. }
  46. h1, h2, h3, h4 {
  47. padding-left: 0.4em;
  48. border-radius: 4px;
  49. padding-bottom: 0.25em;
  50. padding-top: 0.25em;
  51. border: 1px solid #6A996A;
  52. }
  53. h1 {
  54. background-color: #7BB37B;
  55. color: #151515;
  56. font-size: 1.2em;
  57. padding-bottom: 0.3em;
  58. padding-top: 0.3em;
  59. }
  60. h2 {
  61. color: #313131;
  62. font-size: 1.0em;
  63. background-color: #ABE3AB;
  64. }
  65. h3 {
  66. color: #313131;
  67. font-size: 0.9em;
  68. margin-bottom: -6px;
  69. background-color: #BBF3BB;
  70. }
  71. h4 {
  72. color: #313131;
  73. font-size: 0.8em;
  74. margin-bottom: -8px;
  75. background-color: #D1FDD1;
  76. }
  77. img {
  78. border: 0;
  79. }
  80. #navbar {
  81. background-color: #738073;
  82. border-bottom: 1px solid #5C665C;
  83. border-top: 1px solid #5C665C;
  84. margin-top: 12px;
  85. padding: 0.3em;
  86. position: relative;
  87. text-align: center;
  88. }
  89. #navbar a, #navbar_secondary a {
  90. color: white;
  91. padding: 0.3em;
  92. text-decoration: none;
  93. }
  94. #navbar a:hover, #navbar_secondary a:hover {
  95. background-color: #313131;
  96. color: white;
  97. text-decoration: none;
  98. }
  99. #navbar_secondary {
  100. background-color: #738073;
  101. border-bottom: 1px solid #5C665C;
  102. border-left: 1px solid #5C665C;
  103. border-right: 1px solid #5C665C;
  104. padding: 0.3em;
  105. position: relative;
  106. text-align: center;
  107. }
  108. p {
  109. margin-left: 1em;
  110. margin-right: 1em;
  111. }
  112. pre {
  113. margin-left: 3em;
  114. margin-right: 3em;
  115. padding: 0.3em;
  116. border: 1px solid #bbb;
  117. background-color: #f7f7f7;
  118. }
  119. dl dt {
  120. font-weight: bold;
  121. }
  122. #proj_desc {
  123. font-size: 1.2em;
  124. }
  125. #repos {
  126. margin-left: 1em;
  127. margin-right: 1em;
  128. border-collapse: collapse;
  129. border: solid 1px #6A996A;
  130. }
  131. #repos th {
  132. background-color: #7BB37B;
  133. border: solid 1px #6A996A;
  134. }
  135. #repos td {
  136. padding: 0.2em;
  137. border: solid 1px #6A996A;
  138. }