styles.css 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191
  1. /* default elements */
  2. /*
  3. :root {
  4. --list_background_color: rgba(170, 170, 170);
  5. --list_item_background_color: rgba(221, 221, 221);
  6. --heading_2_3_background_color: rgba(238, 238, 238);
  7. --contents_background_color: rgba(205, 205, 205);
  8. --link_general_color: rgb(37, 150, 190);
  9. --font_general_color: black;
  10. }
  11. */
  12. /* for a possible dark theme */
  13. /*
  14. :root {
  15. --list_background_color: rgba(170, 170, 170, 0.05);
  16. --list_item_background_color: rgba(221, 221, 221, 0.05);
  17. --heading_2_3_background_color: rgba(238, 238, 238, 0.05);
  18. --contents_background_color: rgba(205, 205, 205, 0.05);
  19. --link_general_color: rgb(37, 150, 190);
  20. --font_general_color: white;
  21. }
  22. */
  23. body {
  24. background: url('images/background.jpg');
  25. font-family: sans-serif;
  26. font-size: 1.3em;
  27. color: black;
  28. width: 80%;
  29. margin: 0;
  30. margin-left: 10%;
  31. margin-right: 10%;
  32. text-align: justify;
  33. margin-bottom: 10em;
  34. }
  35. h1 {
  36. margin: 0;
  37. margin-left: 1em;
  38. padding-top: 2em;
  39. padding-bottom: 2em;
  40. color: white;
  41. }
  42. h2, h3 {
  43. margin: 0;
  44. margin-bottom: 0.3em;
  45. border-bottom: 0.12em dashed gray;
  46. background-color: rgb(238, 238, 238);
  47. padding: 0.3em;
  48. padding-left: 0.5em;
  49. padding-right: 0.5em;
  50. }
  51. p {
  52. margin: 0;
  53. }
  54. ol, ul {
  55. border-top: gray 0.1em solid;
  56. list-style-position: outside;
  57. margin-left: 0;
  58. margin-right: 0.3em;
  59. margin-top: 0.3em;
  60. margin-bottom: 0.3em;
  61. padding: 0;
  62. padding-left: 1.6em;
  63. background-color: rgba(170, 170, 170);
  64. }
  65. li {
  66. margin: 0;
  67. border-left: gray 0.1em solid;
  68. border-right: gray 0.1em solid;
  69. border-bottom: gray 0.1em solid;
  70. padding: 0.3em;
  71. background-color: rgb(221, 221, 221);
  72. }
  73. img {
  74. display: block;
  75. width: auto;
  76. height: auto;
  77. margin-left: auto;
  78. margin-right: auto;
  79. max-width: 100%;
  80. margin-top: 0.4em;
  81. object-fit: cover;
  82. }
  83. code {
  84. background-color: white;
  85. font-size: inherit;
  86. font-weight: 800;
  87. padding: 0.05em;
  88. border: solid black 0.1em;
  89. }
  90. pre {
  91. overflow: auto;
  92. font-size: 18px;
  93. padding: 5px;
  94. background-color: white;
  95. border: 1px solid black;
  96. }
  97. table {
  98. border-collapse: collapse;
  99. width: 100%;
  100. background-color: white;
  101. font-size: 18px;
  102. }
  103. td, th {
  104. border: 1px solid #777777;
  105. padding: 5px;
  106. }
  107. a {
  108. color: rgb(37, 150, 190);
  109. text-decoration: none;
  110. }
  111. /* id elements */
  112. #top, #hot-links, #main {
  113. margin: auto;
  114. }
  115. #top {
  116. color: white;
  117. background-image: url('images/top.jpg');
  118. background-position: 50% 50%;
  119. background-repeat: repeat;
  120. border: rgb(37, 150, 190) 0.3em solid;
  121. border-top: 0;
  122. background-color: #2596be;
  123. }
  124. #hot-links, #main {
  125. width: 70%;
  126. margin-top: 1.2em;
  127. background-color: rgb(205, 205, 205);
  128. border: rgb(37, 150, 190) 0.4em solid;
  129. }
  130. /* class elements */
  131. .contents {
  132. padding-top: 1em;
  133. padding-bottom: 1em;
  134. padding-left: 2em;
  135. padding-right: 2em;
  136. }
  137. .idtext {
  138. width: 100%;
  139. font-weight: bold;
  140. text-align: center;
  141. margin-top: 0.3em;
  142. margin-bottom: 0.9em;
  143. }
  144. .embed {
  145. display: block;
  146. width: 32em;
  147. height: 22em;
  148. margin-left: auto;
  149. margin-right: auto;
  150. margin-top: 0.4em;
  151. }
  152. .code_block {
  153. padding-top: 0.5em;
  154. padding-bottom: 0.5em;
  155. padding-left: 1em;
  156. padding-right: 1em;
  157. font-family: monospace;
  158. color: black;
  159. background-color: white;
  160. font-size: inherit;
  161. font-weight: 800;
  162. border: solid black 0.1em;
  163. text-align: left;
  164. margin-top: 0.2em;
  165. margin-bottom: 0.2em;
  166. }