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.
 
 
 
 
 

782 lines
15 KiB

  1. /*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */
  2. /* Document
  3. ========================================================================== */
  4. /**
  5. * 1. Correct the line height in all browsers.
  6. * 2. Prevent adjustments of font size after orientation changes in iOS.
  7. */
  8. html {
  9. line-height: 1.15; /* 1 */
  10. -webkit-text-size-adjust: 100%; /* 2 */
  11. }
  12. /* Sections
  13. ========================================================================== */
  14. /**
  15. * Remove the margin in all browsers.
  16. */
  17. body {
  18. margin: 0;
  19. }
  20. /**
  21. * Render the `main` element consistently in IE.
  22. */
  23. main {
  24. display: block;
  25. }
  26. /**
  27. * Correct the font size and margin on `h1` elements within `section` and
  28. * `article` contexts in Chrome, Firefox, and Safari.
  29. */
  30. h1 {
  31. font-size: 2em;
  32. margin: 0.67em 0;
  33. }
  34. /* Grouping content
  35. ========================================================================== */
  36. /**
  37. * 1. Add the correct box sizing in Firefox.
  38. * 2. Show the overflow in Edge and IE.
  39. */
  40. hr {
  41. box-sizing: content-box; /* 1 */
  42. height: 0; /* 1 */
  43. overflow: hidden; /* 2 */
  44. border-width: 0px;
  45. }
  46. /**
  47. * 1. Correct the inheritance and scaling of font size in all browsers.
  48. * 2. Correct the odd `em` font sizing in all browsers.
  49. */
  50. pre {
  51. font-family: monospace, monospace; /* 1 */
  52. font-size: 1em; /* 2 */
  53. }
  54. /* Text-level semantics
  55. ========================================================================== */
  56. /**
  57. * Remove the gray background on active links in IE 10.
  58. */
  59. a {
  60. background-color: transparent;
  61. }
  62. /**
  63. * 1. Remove the bottom border in Chrome 57-
  64. * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
  65. */
  66. abbr[title] {
  67. border-bottom: none; /* 1 */
  68. text-decoration: underline; /* 2 */
  69. text-decoration: underline dotted; /* 2 */
  70. }
  71. /**
  72. * Add the correct font weight in Chrome, Edge, and Safari.
  73. */
  74. b,
  75. strong {
  76. font-weight: bolder;
  77. }
  78. /**
  79. * 1. Correct the inheritance and scaling of font size in all browsers.
  80. * 2. Correct the odd `em` font sizing in all browsers.
  81. */
  82. code,
  83. kbd,
  84. samp {
  85. font-family: monospace, monospace; /* 1 */
  86. font-size: 1em; /* 2 */
  87. }
  88. /**
  89. * Add the correct font size in all browsers.
  90. */
  91. small {
  92. font-size: 80%;
  93. }
  94. /**
  95. * Prevent `sub` and `sup` elements from affecting the line height in
  96. * all browsers.
  97. */
  98. sub,
  99. sup {
  100. font-size: 75%;
  101. line-height: 0;
  102. position: relative;
  103. vertical-align: baseline;
  104. }
  105. sub {
  106. bottom: -0.25em;
  107. }
  108. sup {
  109. top: -0.5em;
  110. }
  111. /* Embedded content
  112. ========================================================================== */
  113. /**
  114. * Remove the border on images inside links in IE 10.
  115. */
  116. img {
  117. border-style: none;
  118. }
  119. /* Forms
  120. ========================================================================== */
  121. /**
  122. * 1. Change the font styles in all browsers.
  123. * 2. Remove the margin in Firefox and Safari.
  124. */
  125. button,
  126. input,
  127. optgroup,
  128. select,
  129. textarea {
  130. font-family: inherit; /* 1 */
  131. font-size: 100%; /* 1 */
  132. line-height: 1.15; /* 1 */
  133. margin: 0; /* 2 */
  134. }
  135. /**
  136. * Show the overflow in IE.
  137. * 1. Show the overflow in Edge.
  138. */
  139. button,
  140. input { /* 1 */
  141. overflow: visible;
  142. }
  143. /**
  144. * Remove the inheritance of text transform in Edge, Firefox, and IE.
  145. * 1. Remove the inheritance of text transform in Firefox.
  146. */
  147. button,
  148. select { /* 1 */
  149. text-transform: none;
  150. }
  151. /**
  152. * Correct the inability to style clickable types in iOS and Safari.
  153. */
  154. button,
  155. [type="button"],
  156. [type="reset"],
  157. [type="submit"] {
  158. -webkit-appearance: button;
  159. }
  160. /**
  161. * Remove the inner border and padding in Firefox.
  162. */
  163. button::-moz-focus-inner,
  164. [type="button"]::-moz-focus-inner,
  165. [type="reset"]::-moz-focus-inner,
  166. [type="submit"]::-moz-focus-inner {
  167. border-style: none;
  168. padding: 0;
  169. }
  170. /**
  171. * Restore the focus styles unset by the previous rule.
  172. */
  173. button:-moz-focusring,
  174. [type="button"]:-moz-focusring,
  175. [type="reset"]:-moz-focusring,
  176. [type="submit"]:-moz-focusring {
  177. outline: 1px dotted ButtonText;
  178. }
  179. /**
  180. * Correct the padding in Firefox.
  181. */
  182. fieldset {
  183. padding: 0.35em 0.75em 0.625em;
  184. }
  185. /**
  186. * 1. Correct the text wrapping in Edge and IE.
  187. * 2. Correct the color inheritance from `fieldset` elements in IE.
  188. * 3. Remove the padding so developers are not caught out when they zero out
  189. * `fieldset` elements in all browsers.
  190. */
  191. legend {
  192. box-sizing: border-box; /* 1 */
  193. color: inherit; /* 2 */
  194. display: table; /* 1 */
  195. max-width: 100%; /* 1 */
  196. padding: 0; /* 3 */
  197. white-space: normal; /* 1 */
  198. }
  199. /**
  200. * Add the correct vertical alignment in Chrome, Firefox, and Opera.
  201. */
  202. progress {
  203. vertical-align: baseline;
  204. }
  205. /**
  206. * Remove the default vertical scrollbar in IE 10+.
  207. */
  208. textarea {
  209. overflow: auto;
  210. }
  211. /**
  212. * 1. Add the correct box sizing in IE 10.
  213. * 2. Remove the padding in IE 10.
  214. */
  215. [type="checkbox"],
  216. [type="radio"] {
  217. box-sizing: border-box; /* 1 */
  218. padding: 0; /* 2 */
  219. }
  220. /**
  221. * Correct the cursor style of increment and decrement buttons in Chrome.
  222. */
  223. [type="number"]::-webkit-inner-spin-button,
  224. [type="number"]::-webkit-outer-spin-button {
  225. height: auto;
  226. }
  227. /**
  228. * 1. Correct the odd appearance in Chrome and Safari.
  229. * 2. Correct the outline style in Safari.
  230. */
  231. [type="search"] {
  232. -webkit-appearance: textfield; /* 1 */
  233. outline-offset: -2px; /* 2 */
  234. }
  235. /**
  236. * Remove the inner padding in Chrome and Safari on macOS.
  237. */
  238. [type="search"]::-webkit-search-decoration {
  239. -webkit-appearance: none;
  240. }
  241. /**
  242. * 1. Correct the inability to style clickable types in iOS and Safari.
  243. * 2. Change font properties to `inherit` in Safari.
  244. */
  245. ::-webkit-file-upload-button {
  246. -webkit-appearance: button; /* 1 */
  247. font: inherit; /* 2 */
  248. }
  249. /* Interactive
  250. ========================================================================== */
  251. /*
  252. * Add the correct display in Edge, IE 10+, and Firefox.
  253. */
  254. details {
  255. display: block;
  256. }
  257. /*
  258. * Add the correct display in all browsers.
  259. */
  260. summary {
  261. display: list-item;
  262. }
  263. /* Misc
  264. ========================================================================== */
  265. /**
  266. * Add the correct display in IE 10+.
  267. */
  268. template {
  269. display: none;
  270. }
  271. /**
  272. * Add the correct display in IE 10.
  273. */
  274. [hidden] {
  275. display: none;
  276. }
  277. /* vollkorn-500italic - latin-ext_latin */
  278. @font-face {
  279. font-family: 'Vollkorn';
  280. font-style: italic;
  281. font-weight: 500;
  282. src: url('../fonts/vollkorn-v12-latin-ext_latin-500italic.eot'); /* IE9 Compat Modes */
  283. src: local(''),
  284. url('../fonts/vollkorn-v12-latin-ext_latin-500italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
  285. url('../fonts/vollkorn-v12-latin-ext_latin-500italic.woff2') format('woff2'), /* Super Modern Browsers */
  286. url('../fonts/vollkorn-v12-latin-ext_latin-500italic.woff') format('woff'), /* Modern Browsers */
  287. url('../fonts/vollkorn-v12-latin-ext_latin-500italic.ttf') format('truetype'), /* Safari, Android, iOS */
  288. url('../fonts/vollkorn-v12-latin-ext_latin-500italic.svg#Vollkorn') format('svg'); /* Legacy iOS */
  289. }
  290. /* vollkorn-regular - latin-ext_latin */
  291. @font-face {
  292. font-family: 'Vollkorn';
  293. font-style: normal;
  294. font-weight: 400;
  295. src: url('../fonts/vollkorn-v12-latin-ext_latin-regular.eot'); /* IE9 Compat Modes */
  296. src: local(''),
  297. url('../fonts/vollkorn-v12-latin-ext_latin-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
  298. url('../fonts/vollkorn-v12-latin-ext_latin-regular.woff2') format('woff2'), /* Super Modern Browsers */
  299. url('../fonts/vollkorn-v12-latin-ext_latin-regular.woff') format('woff'), /* Modern Browsers */
  300. url('../fonts/vollkorn-v12-latin-ext_latin-regular.ttf') format('truetype'), /* Safari, Android, iOS */
  301. url('../fonts/vollkorn-v12-latin-ext_latin-regular.svg#Vollkorn') format('svg'); /* Legacy iOS */
  302. }
  303. /* vollkorn-500 - latin-ext_latin */
  304. @font-face {
  305. font-family: 'Vollkorn';
  306. font-style: normal;
  307. font-weight: 500;
  308. src: url('../fonts/vollkorn-v12-latin-ext_latin-500.eot'); /* IE9 Compat Modes */
  309. src: local(''),
  310. url('../fonts/vollkorn-v12-latin-ext_latin-500.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
  311. url('../fonts/vollkorn-v12-latin-ext_latin-500.woff2') format('woff2'), /* Super Modern Browsers */
  312. url('../fonts/vollkorn-v12-latin-ext_latin-500.woff') format('woff'), /* Modern Browsers */
  313. url('../fonts/vollkorn-v12-latin-ext_latin-500.ttf') format('truetype'), /* Safari, Android, iOS */
  314. url('../fonts/vollkorn-v12-latin-ext_latin-500.svg#Vollkorn') format('svg'); /* Legacy iOS */
  315. }
  316. /* vollkorn-italic - latin-ext_latin */
  317. @font-face {
  318. font-family: 'Vollkorn';
  319. font-style: italic;
  320. font-weight: 400;
  321. src: url('../fonts/vollkorn-v12-latin-ext_latin-italic.eot'); /* IE9 Compat Modes */
  322. src: local(''),
  323. url('../fonts/vollkorn-v12-latin-ext_latin-italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
  324. url('../fonts/vollkorn-v12-latin-ext_latin-italic.woff2') format('woff2'), /* Super Modern Browsers */
  325. url('../fonts/vollkorn-v12-latin-ext_latin-italic.woff') format('woff'), /* Modern Browsers */
  326. url('../fonts/vollkorn-v12-latin-ext_latin-italic.ttf') format('truetype'), /* Safari, Android, iOS */
  327. url('../fonts/vollkorn-v12-latin-ext_latin-italic.svg#Vollkorn') format('svg'); /* Legacy iOS */
  328. }
  329. /* great-vibes-regular - latin-ext_latin */
  330. @font-face {
  331. font-family: 'Great Vibes';
  332. font-style: normal;
  333. font-weight: 400;
  334. src: url('../fonts/great-vibes-v7-latin-ext_latin-regular.eot'); /* IE9 Compat Modes */
  335. src: local('Great Vibes'), local('GreatVibes-Regular'),
  336. url('../fonts/great-vibes-v7-latin-ext_latin-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
  337. url('../fonts/great-vibes-v7-latin-ext_latin-regular.woff2') format('woff2'), /* Super Modern Browsers */
  338. url('../fonts/great-vibes-v7-latin-ext_latin-regular.woff') format('woff'), /* Modern Browsers */
  339. url('../fonts/great-vibes-v7-latin-ext_latin-regular.ttf') format('truetype'), /* Safari, Android, iOS */
  340. url('../fonts/great-vibes-v7-latin-ext_latin-regular.svg#GreatVibes') format('svg'); /* Legacy iOS */
  341. }
  342. body {
  343. font-family: 'Vollkorn', serif;
  344. font-weight: 400;
  345. max-width: 1024px;
  346. font-size: 1.4rem;
  347. padding-left: 3rem;
  348. padding-top: 0.5rem;
  349. color: black;
  350. }
  351. .header {
  352. display: grid;
  353. grid-auto-flow: column;
  354. position: sticky;
  355. top: 0;
  356. padding-top: 0.5rem;
  357. font-size: 1.1rem;
  358. background-color: white;
  359. z-index: 10;
  360. }
  361. .mantlebar {
  362. display: none;
  363. }
  364. .breadcrumbs {
  365. grid-column: 1;
  366. }
  367. .bibliotheke {
  368. width: 2.4rem;
  369. grid-column: 2;
  370. margin-left: auto;
  371. }
  372. .bibliotheke:hover {
  373. text-decoration: none;
  374. font-size: 1rem;
  375. }
  376. .logolink {
  377. width: 2.4rem;
  378. margin-left: auto;
  379. }
  380. .sandpointlogo {
  381. border-radius: 50%;
  382. border: 0.3em solid red;
  383. display: inline-flex;
  384. font-family: 'Great Vibes', cursive;
  385. font-size: 1.2rem;
  386. font-weight: bold;
  387. color: white;
  388. background-color: red;
  389. position: relative;
  390. padding-left: 1em;
  391. padding-right: 0.3em;
  392. padding-bottom: 1.2em;
  393. max-width: 0em;
  394. max-height: 0em;
  395. }
  396. .sandpointF {
  397. position: absolute;
  398. font-size: 1.2em;
  399. margin-top: -0.2em;
  400. margin-left: -0.4em;
  401. }
  402. .sandpointN {
  403. position: absolute;
  404. font-size: 0.7em;
  405. margin-top: 0.4em;
  406. color: red;
  407. margin-left: -0.5em;
  408. }
  409. .sandpointC {
  410. position: absolute;
  411. font-size: 1em;
  412. margin-left: -0.37em;
  413. }
  414. footer {
  415. display: flex;
  416. margin-bottom: 1rem;
  417. margin-top: 4rem;
  418. }
  419. li {
  420. list-style-type: "› ";
  421. }
  422. li[role=doc-endnote] {
  423. list-style-type: decimal;
  424. }
  425. img {
  426. width: 100%;
  427. }
  428. .sup {
  429. display: inline-flex;
  430. flex-wrap: nowrap;
  431. font-family: 'Great Vibes', cursive;
  432. font-size: 0.9em;
  433. font-style: normal;
  434. color: red;
  435. vertical-align: baseline;
  436. position: relative;
  437. top: -0.3em;
  438. }
  439. .sup:hover {
  440. font-weight: normal !important;
  441. }
  442. .syllabustitle, .coretitle {
  443. margin-top: 4rem;
  444. font-style: italic;
  445. font-size: 4rem;
  446. margin-bottom: 4rem;
  447. }
  448. .mantletitle, .crusttitle {
  449. margin-top: 4rem;
  450. font-style: italic;
  451. font-size: 2rem;
  452. margin-bottom: 4rem;
  453. }
  454. .has, .afterhas {
  455. font-style: italic;
  456. font-size: 1.4rem;
  457. }
  458. .grid {
  459. padding-left: 3rem;
  460. margin-bottom: 4rem;
  461. display: grid;
  462. grid-template-columns: 1fr 1fr;
  463. }
  464. .leftcolumn {
  465. grid-column: 1;
  466. padding-right: 1.2rem;
  467. position: relative;
  468. }
  469. #TableOfContents {
  470. margin-left: -2rem;
  471. margin-top: -1.5rem;
  472. }
  473. #TableOfContents li {
  474. list-style: decimal inside;
  475. padding-left: 0.5rem;
  476. color: rgba(0, 0, 0, 0.4);
  477. margin: 0;
  478. padding: 0;
  479. }
  480. #TableOfContents li a {
  481. font-family: 'Vollkorn';
  482. font-size: 1.4rem;
  483. font-weight: 500;
  484. font-style: normal;
  485. }
  486. #TableOfContents > ol:first-child > span > li > a::after {
  487. content: "¶";
  488. color: rgba(0, 0, 0, 0.2);
  489. font-size: 1.3em;
  490. padding-left: 0.1em;
  491. }
  492. .rightcolumn {
  493. grid-column: 2;
  494. display: grid;
  495. grid-template-columns: auto 1fr;
  496. padding-left: 0.5rem;
  497. }
  498. .has {
  499. grid-column: 1;
  500. }
  501. .content {
  502. margin-top: 4rem;
  503. padding-left: 3rem;
  504. padding-right: 10rem;
  505. max-width: 720px;
  506. }
  507. a {
  508. color: black;
  509. text-decoration: none;
  510. }
  511. a:hover {
  512. text-decoration: underline;
  513. text-decoration-color: red;
  514. font-weight: 500;
  515. font-size: 0.97em;
  516. cursor: pointer;
  517. }
  518. h1 {
  519. display: none;
  520. }
  521. h2 {
  522. font-weight: 500;
  523. font-size: 1.6rem;
  524. }
  525. h3 {
  526. font-weight: 500;
  527. font-size: 1.4rem;
  528. }
  529. h4 {
  530. font-weight: 500;
  531. font-size: 1.2rem;
  532. }
  533. h5 {
  534. font-weight: 500;
  535. font-size: 1.1rem;
  536. }
  537. h6 {
  538. font-weight: 500;
  539. font-size: 1rem;
  540. }
  541. blockquote {
  542. font-style: italic;
  543. border-left: 1px red solid;
  544. padding-left: 1rem;
  545. padding-right: 2rem;
  546. padding-top: 0.1rem;
  547. padding-bottom: 0.1rem;
  548. background-color: #fff9f9;
  549. }
  550. h2 + p:first-letter {
  551. font-family: "Great Vibes", cursive;
  552. color: rgba(0, 0, 0, 0.8);
  553. font-size: 1.5em;
  554. line-height: 0;
  555. }
  556. .hx {
  557. position: relative;
  558. }
  559. .hpar {
  560. position: absolute;
  561. font-size: 1.7em;
  562. font-style: normal;
  563. color: rgba(0, 0, 0, 0.1);
  564. top: 0;
  565. margin-top: -0.4em;
  566. }
  567. body {counter-reset: h2}
  568. h2 {counter-reset: h3}
  569. h3 {counter-reset: h4}
  570. h4 {counter-reset: h5}
  571. h5 {counter-reset: h6}
  572. h2:before {
  573. color: rgba(0, 0, 0, 0.4);
  574. counter-increment: h2;
  575. content: counter(h2) ". "
  576. }
  577. h3:before {
  578. color: rgba(0, 0, 0, 0.4);
  579. counter-increment: h3;
  580. content: counter(h2) "." counter(h3) ". "
  581. }
  582. h4:before {
  583. color: rgba(0, 0, 0, 0.4);
  584. counter-increment: h4;
  585. content: counter(h2) "." counter(h3) "." counter(h4) ". "
  586. }
  587. h5:before {
  588. color: rgba(0, 0, 0, 0.4);
  589. counter-increment: h5;
  590. content: counter(h2) "." counter(h3) "." counter(h4) "." counter(h5) ". "
  591. }
  592. h6:before {
  593. color: rgba(0, 0, 0, 0.4);
  594. counter-increment: h6;
  595. content: counter(h2) "." counter(h3) "." counter(h4) "." counter(h5) "." counter(h6) ". "
  596. }
  597. h2.nocount:before, h3.nocount:before, h4.nocount:before, h5.nocount:before, h6.nocount:before { content: ""; counter-increment: none }
  598. @media (max-width: 415px) {
  599. html {
  600. box-sizing: border-box;
  601. max-width: 414px;
  602. margin: 0 auto;
  603. padding: 0;
  604. }
  605. body {
  606. font-size: 1rem;
  607. padding-left: 10px;
  608. padding-right: 10px;
  609. }
  610. .grid {
  611. display: inline;
  612. }
  613. .syllabustitle {
  614. margin-top: 3rem;
  615. margin-bottom: 2rem;
  616. font-size: 2.2rem;
  617. }
  618. .leftcolumn {
  619. display: none;
  620. }
  621. .has, .afterhas {
  622. font-size: 1.1rem;
  623. }
  624. .session, .topic {
  625. margin-bottom: 0.2em;
  626. }
  627. .content {
  628. padding: 0px;
  629. margin: 0 auto;
  630. margin-top: 4rem;
  631. }
  632. .hpar {
  633. display: none;
  634. }
  635. .topicstitle {
  636. font-size: 1.7rem;
  637. }
  638. .sessiongrid {
  639. display: none;
  640. }
  641. }