styles.css 3.3 KB

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