default.css 2.2 KB

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