You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

style.css 5.4KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292
  1. /* body { */
  2. /* margin: 1rem; */
  3. /* padding: 1rem; */
  4. /* } */
  5. html {
  6. padding: 4rem;
  7. }
  8. body{
  9. margin: 1rem auto;
  10. max-width: 60rem;
  11. line-height: 1.4;
  12. font-size: 1.1rem;
  13. color: #222;
  14. padding: 0 1rem;
  15. overflow: auto;
  16. }
  17. .title {
  18. margin-bottom: 2rem;
  19. }
  20. /* Table of contents */
  21. nav#collapsed-table-of-contents {
  22. margin-bottom: 1rem;
  23. }
  24. nav#collapsed-table-of-contents details {
  25. background-color: #e8e8e8;
  26. border: none;
  27. margin: 0.5rem;
  28. }
  29. nav#collapsed-table-of-contents details summary {
  30. padding: 0.5rem;
  31. }
  32. nav#collapsed-table-of-contents > details > summary { /* bigger padding for main toc */
  33. padding: 1rem;
  34. }
  35. nav#collapsed-table-of-contents details ul {
  36. list-style: none;
  37. margin: 0.5rem;
  38. padding: 0;
  39. }
  40. nav#collapsed-table-of-contents details > ul > li {
  41. margin: 0.5rem;
  42. }
  43. nav#collapsed-table-of-contents details > ul > li > a {
  44. margin: 0.5rem 1rem;
  45. }
  46. nav#collapsed-table-of-contents details > ul > li.toc-open {
  47. background-color: #c0e8d0;
  48. }
  49. nav#collapsed-table-of-contents details > ul > li.toc-currentpage {
  50. background-color: #a0e0b0;
  51. }
  52. nav#collapsed-table-of-contents details[open] {
  53. border: 1px solid gray;
  54. }
  55. nav#collapsed-table-of-contents details[open] > summary {
  56. background-color: #d0d0d0;
  57. }
  58. nav#collapsed-table-of-contents details > summary:hover {
  59. background-color: #d8d8d8;
  60. }
  61. nav#collapsed-table-of-contents details > summary.toc-open {
  62. background-color: #d0e8d0;
  63. }
  64. nav#collapsed-table-of-contents details > summary.toc-currentpage {
  65. background-color: #a0e0b0;
  66. }
  67. div#text-table-of-contents ul {
  68. margin: 0;
  69. list-style: none;
  70. }
  71. /* DEPREC Navbar */
  72. div.navbar {
  73. list-style: none;
  74. }
  75. div.navbar li {
  76. display: inline;
  77. }
  78. /* Breadcrumbs */
  79. ul.breadcrumbs {
  80. font-size: 70%;
  81. list-style: none;
  82. margin: 0;
  83. }
  84. ul.breadcrumbs > li {
  85. display: inline;
  86. margin-right: 0.3rem;
  87. }
  88. ul.breadcrumbs > li+li:before {
  89. content: "/\00a0";
  90. }
  91. ul.navigation-links {
  92. list-style: none;
  93. margin: 0;
  94. }
  95. ul.navigation-links > li {
  96. font-size: 70%;
  97. display: inline-block;
  98. margin-right: 1rem;
  99. }
  100. ul.navigation-links > li {
  101. text-decoration: none;
  102. }
  103. table th, table td {
  104. padding: 0.5rem;
  105. }
  106. /* HTML5-specific tags */
  107. aside {
  108. width: 40%;
  109. padding-left: .5rem;
  110. margin-left: .5rem;
  111. float: right;
  112. box-shadow: inset 5px 0 5px -5px #29627e;
  113. font-style: italic;
  114. color: #29627e;
  115. }
  116. aside > p {
  117. margin: .5rem;
  118. }
  119. details {
  120. border: 1px solid gray;
  121. margin: 1rem;
  122. padding: 0rem;
  123. clear: both;
  124. }
  125. summary {
  126. padding: 1rem;
  127. }
  128. details[open] > p, ul {
  129. margin-left: 1rem;
  130. margin-right: 1rem;
  131. margin: 1rem;
  132. }
  133. /* Preformatted code blocks */
  134. pre {
  135. border-radius: .3rem;
  136. background-color: #f2efe4;
  137. padding: .5rem;
  138. }
  139. /* rank-based container classes */
  140. .rant {
  141. opacity: 0.5;
  142. }
  143. /* Environment-specific styles */
  144. .prereq {
  145. background-color: rgba(191, 0, 0, 0.2);
  146. }
  147. .objectives {
  148. background-color: rgba(191, 191, 255, 0.6);
  149. }
  150. .core {
  151. background-color: rgba(191, 255, 191, 0.4);
  152. }
  153. .main {
  154. background-color: rgba(191, 255, 191, 0.2);
  155. }
  156. .example {
  157. background-color: rgba(255, 255, 191, 0.6);
  158. }
  159. .info {
  160. background-color: rgba(159, 255, 255, 0.4);
  161. }
  162. .context {
  163. background-color: rgba(191, 223, 255, 0.6);
  164. }
  165. /* when details are open, darken summary */
  166. details[open].prereq > summary {
  167. background-color: rgba(191, 0, 0, 0.1);
  168. }
  169. details[open].objectives > summary {
  170. background-color: rgba(191, 191, 255, 0.6);
  171. }
  172. details[open].core > summary {
  173. background-color: rgba(191, 255, 191, 0.4);
  174. }
  175. details[open].main > summary {
  176. background-color: rgba(191, 255, 191, 0.2);
  177. }
  178. details[open].example > summary {
  179. background-color: rgba(255, 255, 191, 0.6);
  180. }
  181. details[open].info > summary {
  182. background-color: rgba(159, 255, 255, 0.4);
  183. }
  184. details[open].context > summary {
  185. background-color: rgba(191, 223, 255, 0.6);
  186. }
  187. /* Permalinks to sections */
  188. a.headline-permalink, span.headline-id {
  189. float: right;
  190. margin-right: 1rem;
  191. font-size: 70%;
  192. text-decoration: none;
  193. }
  194. /* when contextual colors are used for a div */
  195. div.prereq, div.objectives, div.core, div.main, div.example, div.info, div.context {
  196. margin: 1rem;
  197. padding: 1rem;
  198. padding-bottom: 1.5rem; /* to fit the alteqlabels inside colored box */
  199. overflow: auto;
  200. }
  201. /* Giving equation nrs from other sources: use aside element */
  202. /* aside.alteqlabels { */
  203. /* box-shadow: none; /\* remove standard aside property *\/ */
  204. /* color: gray; */
  205. /* font-size: 50%; */
  206. /* width: 10%; */
  207. /* } */
  208. /* aside.alteqlabels > ul { */
  209. /* list-style: none; */
  210. /* } */
  211. ul.altsecnrs {
  212. color: gray;
  213. font-size: 60%;
  214. float: right;
  215. /* clear: both; */
  216. list-style: none;
  217. margin-top: -1rem;
  218. padding-top: 0;
  219. }
  220. ul.altsecnrs > li {
  221. display: inline-block;
  222. }
  223. ul.altsecnrs > li:not(:first-child)::before {
  224. content: '/';
  225. margin-right: 0.2rem;
  226. }
  227. div.eqlabel {
  228. float: right;
  229. clear: both;
  230. position: relative;
  231. z-index: 10;
  232. }
  233. div.eqlabel p {
  234. margin: 0;
  235. margin-left: 1rem;
  236. }
  237. div.alteqlabels {
  238. color: gray;
  239. font-size: 60%;
  240. float: right;
  241. clear: both;
  242. }
  243. div.alteqlabels > ul {
  244. list-style: none;
  245. margin-left: 1rem;
  246. padding: 0;
  247. }
  248. /* div.alteqlabels p { */
  249. /* float: right; */
  250. /* clear: both; */
  251. /* } */
  252. /* Equations */
  253. /* .eq-permalink { */
  254. /* float: right; */
  255. /* } */
  256. div.license {
  257. font-size: 60%;
  258. }