main.css 28 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060
  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: visible; /* 2 */
  44. }
  45. /**
  46. * 1. Correct the inheritance and scaling of font size in all browsers.
  47. * 2. Correct the odd `em` font sizing in all browsers.
  48. */
  49. pre {
  50. font-family: monospace, monospace; /* 1 */
  51. font-size: 1em; /* 2 */
  52. }
  53. /* Text-level semantics
  54. ========================================================================== */
  55. /**
  56. * Remove the gray background on active links in IE 10.
  57. */
  58. a {
  59. background-color: transparent;
  60. }
  61. /**
  62. * 1. Remove the bottom border in Chrome 57-
  63. * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
  64. */
  65. abbr[title] {
  66. border-bottom: none; /* 1 */
  67. text-decoration: underline; /* 2 */
  68. text-decoration: underline dotted; /* 2 */
  69. }
  70. /**
  71. * Add the correct font weight in Chrome, Edge, and Safari.
  72. */
  73. b,
  74. strong {
  75. font-weight: bolder;
  76. }
  77. /**
  78. * 1. Correct the inheritance and scaling of font size in all browsers.
  79. * 2. Correct the odd `em` font sizing in all browsers.
  80. */
  81. code,
  82. kbd,
  83. samp {
  84. font-family: monospace, monospace; /* 1 */
  85. font-size: 1em; /* 2 */
  86. }
  87. /**
  88. * Add the correct font size in all browsers.
  89. */
  90. small {
  91. font-size: 80%;
  92. }
  93. /**
  94. * Prevent `sub` and `sup` elements from affecting the line height in
  95. * all browsers.
  96. */
  97. sub,
  98. sup {
  99. font-size: 75%;
  100. line-height: 0;
  101. position: relative;
  102. vertical-align: baseline;
  103. }
  104. sub {
  105. bottom: -0.25em;
  106. }
  107. sup {
  108. top: -0.5em;
  109. }
  110. /* Embedded content
  111. ========================================================================== */
  112. /**
  113. * Remove the border on images inside links in IE 10.
  114. */
  115. img {
  116. border-style: none;
  117. }
  118. /* Forms
  119. ========================================================================== */
  120. /**
  121. * 1. Change the font styles in all browsers.
  122. * 2. Remove the margin in Firefox and Safari.
  123. */
  124. button,
  125. input,
  126. optgroup,
  127. select,
  128. textarea {
  129. font-family: inherit; /* 1 */
  130. font-size: 100%; /* 1 */
  131. line-height: 1.15; /* 1 */
  132. margin: 0; /* 2 */
  133. }
  134. /**
  135. * Show the overflow in IE.
  136. * 1. Show the overflow in Edge.
  137. */
  138. button,
  139. input { /* 1 */
  140. overflow: visible;
  141. }
  142. /**
  143. * Remove the inheritance of text transform in Edge, Firefox, and IE.
  144. * 1. Remove the inheritance of text transform in Firefox.
  145. */
  146. button,
  147. select { /* 1 */
  148. text-transform: none;
  149. }
  150. /**
  151. * Correct the inability to style clickable types in iOS and Safari.
  152. */
  153. button,
  154. [type="button"],
  155. [type="reset"],
  156. [type="submit"] {
  157. -webkit-appearance: button;
  158. }
  159. /**
  160. * Remove the inner border and padding in Firefox.
  161. */
  162. button::-moz-focus-inner,
  163. [type="button"]::-moz-focus-inner,
  164. [type="reset"]::-moz-focus-inner,
  165. [type="submit"]::-moz-focus-inner {
  166. border-style: none;
  167. padding: 0;
  168. }
  169. /**
  170. * Restore the focus styles unset by the previous rule.
  171. */
  172. button:-moz-focusring,
  173. [type="button"]:-moz-focusring,
  174. [type="reset"]:-moz-focusring,
  175. [type="submit"]:-moz-focusring {
  176. outline: 1px dotted ButtonText;
  177. }
  178. /**
  179. * Correct the padding in Firefox.
  180. */
  181. fieldset {
  182. padding: 0.35em 0.75em 0.625em;
  183. }
  184. /**
  185. * 1. Correct the text wrapping in Edge and IE.
  186. * 2. Correct the color inheritance from `fieldset` elements in IE.
  187. * 3. Remove the padding so developers are not caught out when they zero out
  188. * `fieldset` elements in all browsers.
  189. */
  190. legend {
  191. box-sizing: border-box; /* 1 */
  192. color: inherit; /* 2 */
  193. display: table; /* 1 */
  194. max-width: 100%; /* 1 */
  195. padding: 0; /* 3 */
  196. white-space: normal; /* 1 */
  197. }
  198. /**
  199. * Add the correct vertical alignment in Chrome, Firefox, and Opera.
  200. */
  201. progress {
  202. vertical-align: baseline;
  203. }
  204. /**
  205. * Remove the default vertical scrollbar in IE 10+.
  206. */
  207. textarea {
  208. overflow: auto;
  209. }
  210. /**
  211. * 1. Add the correct box sizing in IE 10.
  212. * 2. Remove the padding in IE 10.
  213. */
  214. [type="checkbox"],
  215. [type="radio"] {
  216. box-sizing: border-box; /* 1 */
  217. padding: 0; /* 2 */
  218. }
  219. /**
  220. * Correct the cursor style of increment and decrement buttons in Chrome.
  221. */
  222. [type="number"]::-webkit-inner-spin-button,
  223. [type="number"]::-webkit-outer-spin-button {
  224. height: auto;
  225. }
  226. /**
  227. * 1. Correct the odd appearance in Chrome and Safari.
  228. * 2. Correct the outline style in Safari.
  229. */
  230. [type="search"] {
  231. -webkit-appearance: textfield; /* 1 */
  232. outline-offset: -2px; /* 2 */
  233. }
  234. /**
  235. * Remove the inner padding in Chrome and Safari on macOS.
  236. */
  237. [type="search"]::-webkit-search-decoration {
  238. -webkit-appearance: none;
  239. }
  240. /**
  241. * 1. Correct the inability to style clickable types in iOS and Safari.
  242. * 2. Change font properties to `inherit` in Safari.
  243. */
  244. ::-webkit-file-upload-button {
  245. -webkit-appearance: button; /* 1 */
  246. font: inherit; /* 2 */
  247. }
  248. /* Interactive
  249. ========================================================================== */
  250. /*
  251. * Add the correct display in Edge, IE 10+, and Firefox.
  252. */
  253. details {
  254. display: block;
  255. }
  256. /*
  257. * Add the correct display in all browsers.
  258. */
  259. summary {
  260. display: list-item;
  261. }
  262. /* Misc
  263. ========================================================================== */
  264. /**
  265. * Add the correct display in IE 10+.
  266. */
  267. template {
  268. display: none;
  269. }
  270. /**
  271. * Add the correct display in IE 10.
  272. */
  273. [hidden] {
  274. display: none;
  275. }
  276. /* Generated by Font Squirrel (http://www.fontsquirrel.com) on September 30, 2015 */
  277. @font-face {
  278. font-family: 'amiri';
  279. src: url(fonts/amiri-bold-webfont.eot);
  280. src: url(fonts/amiri-bold-webfont.eot?#iefix) format('embedded-opentype'),
  281. url(fonts/amiri-bold-webfont.woff2) format('woff2'),
  282. url(fonts/amiri-bold-webfont.woff) format('woff'),
  283. url(fonts/amiri-bold-webfont.ttf) format('truetype'),
  284. url(fonts/amiri-bold-webfont.svg#amiribold) format('svg');
  285. font-weight: 700;
  286. font-style: normal;
  287. }
  288. @font-face {
  289. font-family: 'amiri';
  290. src: url(fonts/amiri-boldslanted-webfont.eot);
  291. src: url(fonts/amiri-boldslanted-webfont.eot?#iefix) format('embedded-opentype'),
  292. url(fonts/amiri-boldslanted-webfont.woff2) format('woff2'),
  293. url(fonts/amiri-boldslanted-webfont.woff) format('woff'),
  294. url(fonts/amiri-boldslanted-webfont.ttf) format('truetype'),
  295. url(fonts/amiri-boldslanted-webfont.svg#amiribold_slanted) format('svg');
  296. font-weight: 700;
  297. font-style: italic;
  298. }
  299. @font-face {
  300. font-family: 'amiri';
  301. src: url(fonts/amiri-regular-webfont.eot);
  302. src: url(fonts/amiri-regular-webfont.eot?#iefix) format('embedded-opentype'),
  303. url(fonts/amiri-regular-webfont.woff2) format('woff2'),
  304. url(fonts/amiri-regular-webfont.woff) format('woff'),
  305. url(fonts/amiri-regular-webfont.ttf) format('truetype'),
  306. url(fonts/amiri-regular-webfont.svg#amiriregular) format('svg');
  307. font-weight: normal;
  308. font-style: normal;
  309. }
  310. @font-face {
  311. font-family: 'amiri';
  312. src: url(fonts/amiri-slanted-webfont.eot);
  313. src: url(fonts/amiri-slanted-webfont.eot?#iefix) format('embedded-opentype'),
  314. url(fonts/amiri-slanted-webfont.woff2) format('woff2'),
  315. url(fonts/amiri-slanted-webfont.woff) format('woff'),
  316. url(fonts/amiri-slanted-webfont.ttf) format('truetype'),
  317. url(fonts/amiri-slanted-webfont.svg#amirislanted) format('svg');
  318. font-weight: normal;
  319. font-style: italic;
  320. }
  321. /* Generated by Font Squirrel (http://www.fontsquirrel.com) on April 28, 2010 12:00:36 PM America/New_York */
  322. /*================================*/
  323. /** MONO **/
  324. @font-face {
  325. font-family: 'DejaVuSansMono';
  326. src: url(fonts/DejaVuSansMono-webfont.eot);
  327. src: local('\263A'), url(fonts/DejaVuSansMono-webfont.woff) format('woff'), url(fonts/DejaVuSansMono-webfont.ttf) format('truetype'), url(fonts/DejaVuSansMono-webfont.svg) format('svg');
  328. font-weight: normal;
  329. font-style: normal;
  330. }
  331. @font-face {
  332. font-family: 'DejaVuSansMono';
  333. src: url(fonts/DejaVuSansMono-Oblique-webfont.eot);
  334. src: local('\263A'), url(fonts/DejaVuSansMono-Oblique-webfont.woff) format('woff'), url(fonts/DejaVuSansMono-Oblique-webfont.ttf) format('truetype'), url(fonts/DejaVuSansMono-Oblique-webfont.svg) format('svg');
  335. font-weight: normal;
  336. font-style: italic;
  337. }
  338. @font-face {
  339. font-family: 'DejaVuSansMono';
  340. src: url(fonts/DejaVuSansMono-Bold-webfont.eot);
  341. src: local('\263A'), url(fonts/DejaVuSansMono-Bold-webfont.woff) format('woff'), url(fonts/DejaVuSansMono-Bold-webfont.ttf) format('truetype'), url(fonts/DejaVuSansMono-Bold-webfont.svg) format('svg');
  342. font-weight: bold;
  343. font-style: normal;
  344. }
  345. @font-face {
  346. font-family: 'DejaVuSansMono';
  347. src: url(fonts/DejaVuSansMono-BoldOblique-webfont.eot);
  348. src: local('\263A'), url(fonts/DejaVuSansMono-BoldOblique-webfont.woff) format('woff'), url(fonts/DejaVuSansMono-BoldOblique-webfont.ttf) format('truetype'), url(fonts/DejaVuSansMono-BoldOblique-webfont.svg) format('svg');
  349. font-weight: bold;
  350. font-style: italic;
  351. }
  352. /*================================*/
  353. /** SANS **/
  354. /*Extra light*/
  355. @font-face {
  356. font-family: 'DejaVuSans';
  357. src: url(fonts/dejavusans-extralight-webfont.eot);
  358. src: local('\263A'), url(fonts/dejavusans-extralight-webfont.woff) format('woff'), url(fonts/dejavusans-extralight-webfont.ttf) format('truetype'), url(fonts/dejavusans-extralight-webfont.svg) format('svg');
  359. font-weight: 100;
  360. font-style: normal;
  361. }
  362. /*Normal*/
  363. @font-face {
  364. font-family: 'DejaVuSans';
  365. src: url(fonts/dejavusans-webfont.eot);
  366. src: local('\263A'), url(fonts/dejavusans-webfont.woff) format('woff'), url(fonts/dejavusans-webfont.ttf) format('truetype'), url(fonts/dejavusans-webfont.svg) format('svg');
  367. font-weight: normal;
  368. font-style: normal;
  369. }
  370. /*Bold*/
  371. @font-face {
  372. font-family: 'DejaVuSans';
  373. src: url(fonts/dejavusans-bold-webfont.eot);
  374. src: local('\263A'), url(fonts/dejavusans-bold-webfont.woff) format('woff'), url(fonts/dejavusans-bold-webfont.ttf) format('truetype'), url(fonts/dejavusans-bold-webfont.svg) format('svg');
  375. font-weight: bold;
  376. font-style: normal;
  377. }
  378. /*================================*/
  379. /** SERIF **/
  380. @font-face {
  381. font-family: 'DejaVuSerif';
  382. src: url(fonts/DejaVuSerif-webfont.eot);
  383. src: local('\263A'), url(fonts/DejaVuSerif-webfont.woff) format('woff'), url(fonts/DejaVuSerif-webfont.ttf) format('truetype'), url(fonts/DejaVuSerif-webfont.svg) format('svg');
  384. font-weight: normal;
  385. font-style: normal;
  386. }
  387. @font-face {
  388. font-family: 'DejaVuSerif';
  389. src: url(fonts/DejaVuSerif-Italic-webfont.eot);
  390. src: local('\263A'), url(fonts/DejaVuSerif-Italic-webfont.woff) format('woff'), url(fonts/DejaVuSerif-Italic-webfont.ttf) format('truetype'), url(fonts/DejaVuSerif-Italic-webfont.svg) format('svg');
  391. font-weight: normal;
  392. font-style: italic;
  393. }
  394. @font-face {
  395. font-family: 'DejaVuSerif';
  396. src: url(fonts/DejaVuSerif-Bold-webfont.eot);
  397. src: local('\263A'), url(fonts/DejaVuSerif-Bold-webfont.woff) format('woff'), url(fonts/DejaVuSerif-Bold-webfont.ttf) format('truetype'), url(fonts/DejaVuSerif-Bold-webfont.svg) format('svg');
  398. font-weight: bold;
  399. font-style: normal;
  400. }
  401. @font-face {
  402. font-family: 'DejaVuSerif';
  403. src: url(fonts/DejaVuSerif-BoldItalic-webfont.eot);
  404. src: local('\263A'), url(fonts/DejaVuSerif-BoldItalic-webfont.woff) format('woff'), url(fonts/DejaVuSerif-BoldItalic-webfont.ttf) format('truetype'), url(fonts/DejaVuSerif-BoldItalic-webfont.svg) format('svg');
  405. font-weight: bold;
  406. font-style: italic;
  407. }
  408. /*Condensed*/
  409. @font-face {
  410. font-family: 'DejaVuSerif-condensed';
  411. src: url(fonts/DejaVuSerifCondensed-webfont.eot);
  412. src: local('\263A'), url(fonts/DejaVuSerifCondensed-webfont.woff) format('woff'), url(fonts/DejaVuSerifCondensed-webfont.ttf) format('truetype'), url(fonts/DejaVuSerifCondensed-webfont.svg) format('svg');
  413. font-weight: normal;
  414. font-style: normal;
  415. }
  416. @font-face {
  417. font-family: 'DejaVuSerif-condensed';
  418. src: url(fonts/DejaVuSerifCondensed-Italic-webfont.eot);
  419. src: local('\263A'), url(fonts/DejaVuSerifCondensed-Italic-webfont.woff) format('woff'), url(fonts/DejaVuSerifCondensed-Italic-webfont.ttf) format('truetype'), url(fonts/DejaVuSerifCondensed-Italic-webfont.svg) format('svg');
  420. font-weight: normal;
  421. font-style: italic;
  422. }
  423. @font-face {
  424. font-family: 'DejaVuSerif-condensed';
  425. src: url(fonts/DejaVuSerifCondensed-Bold-webfont.eot);
  426. src: local('\263A'), url(fonts/DejaVuSerifCondensed-Bold-webfont.woff) format('woff'), url(fonts/DejaVuSerifCondensed-Bold-webfont.ttf) format('truetype'), url(fonts/DejaVuSerifCondensed-Bold-webfont.svg) format('svg');
  427. font-weight: bold;
  428. font-style: normal;
  429. }
  430. @font-face {
  431. font-family: 'DejaVuSerif-condensed';
  432. src: url(fonts/DejaVuSerifCondensed-BoldItalic-webfont.eot);
  433. src: local('\263A'), url(fonts/DejaVuSerifCondensed-BoldItalic-webfont.woff) format('woff'), url(fonts/DejaVuSerifCondensed-BoldItalic-webfont.ttf) format('truetype'), url(fonts/DejaVuSerifCondensed-BoldItalic-webfont.svg) format('svg');
  434. font-weight: bold;
  435. font-style: italic;
  436. }/* Generated by Font Squirrel (http://www.fontsquirrel.com) on November 15, 2011 05:31:35 AM America/New_York */
  437. @font-face {
  438. font-family: 'OpenSans';
  439. src: url(fonts/OpenSans-Light-webfont.eot);
  440. src: url(fonts/OpenSans-Light-webfont.eot?#iefix) format('embedded-opentype'),
  441. url(fonts/OpenSans-Light-webfont.woff) format('woff'),
  442. url(fonts/OpenSans-Light-webfont.ttf) format('truetype'),
  443. url(fonts/OpenSans-Light-webfont.svg#OpenSansLight) format('svg');
  444. font-weight: 200;
  445. font-style: normal;
  446. }
  447. @font-face {
  448. font-family: 'OpenSans';
  449. src: url(fonts/OpenSans-LightItalic-webfont.eot);
  450. src: url(fonts/OpenSans-LightItalic-webfont.eot?#iefix) format('embedded-opentype'),
  451. url(fonts/OpenSans-LightItalic-webfont.woff) format('woff'),
  452. url(fonts/OpenSans-LightItalic-webfont.ttf) format('truetype'),
  453. url(fonts/OpenSans-LightItalic-webfont.svg#OpenSansLightItalic) format('svg');
  454. font-weight: 200;
  455. font-style: italic;
  456. }
  457. @font-face {
  458. font-family: 'OpenSans';
  459. src: url(fonts/OpenSans-Regular-webfont.eot);
  460. src: url(fonts/OpenSans-Regular-webfont.eot?#iefix) format('embedded-opentype'),
  461. url(fonts/OpenSans-Regular-webfont.woff) format('woff'),
  462. url(fonts/OpenSans-Regular-webfont.ttf) format('truetype'),
  463. url(fonts/OpenSans-Regular-webfont.svg#OpenSansRegular) format('svg');
  464. font-weight: normal;
  465. font-style: normal;
  466. }
  467. @font-face {
  468. font-family: 'OpenSans';
  469. src: url(fonts/OpenSans-Italic-webfont.eot);
  470. src: url(fonts/OpenSans-Italic-webfont.eot?#iefix) format('embedded-opentype'),
  471. url(fonts/OpenSans-Italic-webfont.woff) format('woff'),
  472. url(fonts/OpenSans-Italic-webfont.ttf) format('truetype'),
  473. url(fonts/OpenSans-Italic-webfont.svg#OpenSansItalic) format('svg');
  474. font-weight: normal;
  475. font-style: italic;
  476. }
  477. @font-face {
  478. font-family: 'OpenSans';
  479. src: url(fonts/OpenSans-Semibold-webfont.eot);
  480. src: url(fonts/OpenSans-Semibold-webfont.eot?#iefix) format('embedded-opentype'),
  481. url(fonts/OpenSans-Semibold-webfont.woff) format('woff'),
  482. url(fonts/OpenSans-Semibold-webfont.ttf) format('truetype'),
  483. url(fonts/OpenSans-Semibold-webfont.svg#OpenSansSemibold) format('svg');
  484. font-weight: 600;
  485. font-style: normal;
  486. }
  487. @font-face {
  488. font-family: 'OpenSans';
  489. src: url(fonts/OpenSans-SemiboldItalic-webfont.eot);
  490. src: url(fonts/OpenSans-SemiboldItalic-webfont.eot?#iefix) format('embedded-opentype'),
  491. url(fonts/OpenSans-SemiboldItalic-webfont.woff) format('woff'),
  492. url(fonts/OpenSans-SemiboldItalic-webfont.ttf) format('truetype'),
  493. url(fonts/OpenSans-SemiboldItalic-webfont.svg#OpenSansSemiboldItalic) format('svg');
  494. font-weight: 600;
  495. font-style: italic;
  496. }
  497. @font-face {
  498. font-family: 'OpenSans';
  499. src: url(fonts/OpenSans-Bold-webfont.eot);
  500. src: url(fonts/OpenSans-Bold-webfont.eot?#iefix) format('embedded-opentype'),
  501. url(fonts/OpenSans-Bold-webfont.woff) format('woff'),
  502. url(fonts/OpenSans-Bold-webfont.ttf) format('truetype'),
  503. url(fonts/OpenSans-Bold-webfont.svg#OpenSansBold) format('svg');
  504. font-weight: 700;
  505. font-style: normal;
  506. }
  507. @font-face {
  508. font-family: 'OpenSans';
  509. src: url(fonts/OpenSans-BoldItalic-webfont.eot);
  510. src: url(fonts/OpenSans-BoldItalic-webfont.eot?#iefix) format('embedded-opentype'),
  511. url(fonts/OpenSans-BoldItalic-webfont.woff) format('woff'),
  512. url(fonts/OpenSans-BoldItalic-webfont.ttf) format('truetype'),
  513. url(fonts/OpenSans-BoldItalic-webfont.svg#OpenSansBoldItalic) format('svg');
  514. font-weight: 700;
  515. font-style: italic;
  516. }
  517. @font-face {
  518. font-family: 'OpenSans';
  519. src: url(fonts/OpenSans-ExtraBold-webfont.eot);
  520. src: url(fonts/OpenSans-ExtraBold-webfont.eot?#iefix) format('embedded-opentype'),
  521. url(fonts/OpenSans-ExtraBold-webfont.woff) format('woff'),
  522. url(fonts/OpenSans-ExtraBold-webfont.ttf) format('truetype'),
  523. url(fonts/OpenSans-ExtraBold-webfont.svg#OpenSansExtrabold) format('svg');
  524. font-weight: 900;
  525. font-style: normal;
  526. }
  527. @font-face {
  528. font-family: 'OpenSans';
  529. src: url(fonts/OpenSans-ExtraBoldItalic-webfont.eot);
  530. src: url(fonts/OpenSans-ExtraBoldItalic-webfont.eot?#iefix) format('embedded-opentype'),
  531. url(fonts/OpenSans-ExtraBoldItalic-webfont.woff) format('woff'),
  532. url(fonts/OpenSans-ExtraBoldItalic-webfont.ttf) format('truetype'),
  533. url(fonts/OpenSans-ExtraBoldItalic-webfont.svg#OpenSansExtraboldItalic) format('svg');
  534. font-weight: 900;
  535. font-style: italic;
  536. }
  537. @charset "UTF-8";
  538. html, body {
  539. font-family: 'amiri', sans-serif;
  540. font-size: 16px;
  541. font-kerning: auto;
  542. line-height: 1.4;
  543. position: relative;
  544. margin: 0;
  545. padding: 0; }
  546. header {
  547. position: fixed;
  548. width: 100%;
  549. height: 5em;
  550. top: 0;
  551. z-index: 5;
  552. background-color: white; }
  553. header > * {
  554. display: inline-block;
  555. vertical-align: text-bottom; }
  556. header > *:last-child {
  557. margin-right: 1em; }
  558. header hgroup {
  559. margin: 0 4em 0 70px; }
  560. header hgroup h1, header hgroup h2 {
  561. margin: 0;
  562. padding: 0;
  563. line-height: 1; }
  564. header hgroup h1 {
  565. font-size: 3em; }
  566. header hgroup h2 {
  567. line-height: 1; }
  568. header #menus > * {
  569. display: inline-block;
  570. vertical-align: top; }
  571. header #menus nav {
  572. padding: 0 1em;
  573. position: relative; }
  574. header #menus nav h3 {
  575. margin: 0;
  576. padding: 0;
  577. line-height: 1;
  578. cursor: pointer;
  579. transition: color 0.3s ease-in-out; }
  580. header #menus nav ul {
  581. position: absolute;
  582. margin: 0;
  583. left: 0;
  584. padding: 0 1em 0;
  585. background-color: white;
  586. white-space: nowrap; }
  587. header #menus nav ul li {
  588. position: relative;
  589. margin: 0;
  590. padding: 0;
  591. list-style: none;
  592. transition: color 0.3s ease-in-out;
  593. font-weight: 500;
  594. font-size: 1.2em;
  595. line-height: 1.2; }
  596. header #menus nav ul li:not(.active) {
  597. height: 0px;
  598. opacity: 0;
  599. overflow: hidden;
  600. transition: opacity 0.3s ease-in-out; }
  601. header #menus nav ul li a {
  602. color: inherit;
  603. text-decoration: none;
  604. display: inline-block;
  605. width: 100%; }
  606. header #menus nav ul li a:active, header #menus nav ul li a:focus {
  607. outline: none;
  608. -moz-outline-style: none; }
  609. header #menus nav ul li.active a:after {
  610. content: " \1F7AC";
  611. font-style: normal;
  612. font-size: 0.7em;
  613. font-weight: 300; }
  614. header #menus:hover h3 {
  615. color: #646464; }
  616. header #menus:hover nav:hover {
  617. z-index: 10; }
  618. header #menus:hover nav:hover h3 {
  619. color: #000; }
  620. header #menus:hover nav:hover ul {
  621. padding-bottom: 1em; }
  622. header #menus:hover nav:hover li {
  623. height: auto;
  624. opacity: 1;
  625. transition: height opacity 0.3s ease-in-out;
  626. color: #646464; }
  627. header #menus:hover nav:hover li:hover {
  628. color: #000; }
  629. #db-loader {
  630. position: relative;
  631. width: 300px;
  632. height: 1px;
  633. background-color: black;
  634. margin-left: 70px; }
  635. #db-loader #db-loaded {
  636. position: absolute;
  637. top: -1px;
  638. left: 0;
  639. width: 0%;
  640. height: 3px;
  641. background-color: black;
  642. transition: width 1.2s; }
  643. .sticky-clone-wrapper {
  644. padding-top: 5em;
  645. position: fixed;
  646. top: 0;
  647. left: 0;
  648. z-index: 4;
  649. width: 100%;
  650. background-color: white; }
  651. .sticky-clone-wrapper h1.part-title {
  652. margin: 0 0 0 70px; }
  653. main#content {
  654. margin-top: 5em;
  655. margin-bottom: 3em; }
  656. main#content section.part {
  657. position: relative;
  658. margin-bottom: 2em; }
  659. section.intro {
  660. margin-left: 70px; }
  661. h1.part-title {
  662. font-size: 1.8em;
  663. margin: 0 0 0.3em 70px;
  664. padding: 0.5em 0 0.2em;
  665. font-weight: normal;
  666. letter-spacing: 0.3em;
  667. display: inline-block;
  668. border-bottom: 1px solid black;
  669. white-space: nowrap; }
  670. h1.part-title em {
  671. font-size: 0.7em;
  672. letter-spacing: normal; }
  673. h1.part-title > em:first-of-type {
  674. display: block; }
  675. h2.title {
  676. font-size: 1.2em;
  677. font-weight: 500;
  678. margin: 1em 0 0 70px;
  679. line-height: 1; }
  680. h4.filet {
  681. margin: 0.5em 0 0 70px; }
  682. div.proposition:not(.chapitre), div.proposition.chapitre:first-of-type, div.proposition:not(.dot.nested),
  683. div.appendice:not(.chapitre),
  684. div.appendice.chapitre:first-of-type,
  685. div.appendice:not(.dot.nested),
  686. div.chapitre:not(.chapitre),
  687. div.chapitre.chapitre:first-of-type,
  688. div.chapitre:not(.dot.nested) {
  689. margin-top: 1em; }
  690. div.proposition span.title,
  691. div.appendice span.title,
  692. div.chapitre span.title {
  693. font-size: 1.2em;
  694. font-weight: 500; }
  695. div.explication span.title,
  696. div.demonstration span.title,
  697. div.scolie span.title,
  698. div.corollaire span.title,
  699. div.prop-axiom span.title,
  700. div.lemme span.title {
  701. font-size: 0.8em;
  702. text-transform: capitalize;
  703. font-variant: small-caps; }
  704. div.lemme-scolie span.title,
  705. div.lemme-corrollaire span.title,
  706. div.lemme-demonstration span.title,
  707. div.corollaire-demo span.title {
  708. font-size: 0.7em;
  709. text-transform: capitalize;
  710. font-variant: small-caps; }
  711. main#content.mode-text section.enonce, main#content.mode-text section.item.nested {
  712. width: 600px;
  713. margin: 1em 0 1em 70px;
  714. overflow-x: visible; }
  715. main#content.mode-text section.enonce {
  716. font-family: 'amiri', sans-serif;
  717. font-size: 16px;
  718. font-kerning: auto;
  719. line-height: 1.4; }
  720. main#content.mode-text section.enonce h2 {
  721. font-size: 1em;
  722. font-weight: 300;
  723. margin: 0;
  724. cursor: pointer; }
  725. main#content.mode-text section.enonce.definition:not(.nested) > h2, main#content.mode-text section.enonce.axiom:not(.nested) > h2, main#content.mode-text section.enonce.def-affect:not(.nested) > h2 {
  726. font-size: 1.2em;
  727. float: left;
  728. margin: 0 0.5em 0 0;
  729. font-weight: 600;
  730. text-transform: uppercase; }
  731. main#content.mode-text section.enonce h3 {
  732. font-size: 0.9em;
  733. font-weight: 300;
  734. margin: 0;
  735. cursor: pointer; }
  736. main#content.mode-text section.enonce.proposition > div.text {
  737. font-size: 1.5em;
  738. font-weight: 500; }
  739. main#content.mode-text section.enonce div.text {
  740. font-size: 1.2em; }
  741. main#content.mode-text section.enonce div.text div.paragraph {
  742. margin-bottom: 1em; }
  743. main#content.mode-text section.enonce div.text div.paragraph div.opened-link {
  744. display: inline; }
  745. main#content.mode-text section.enonce div.text div.paragraph a.link, main#content.mode-text section.enonce div.text div.paragraph span.link.text {
  746. font-weight: 600;
  747. text-decoration: none;
  748. color: inherit; }
  749. main#content.mode-text section.enonce div.text div.paragraph span.link.text:after {
  750. content: ':'; }
  751. main#content.mode-text section.enonce div.text div.paragraph span.unknown-link {
  752. font-weight: 600;
  753. text-decoration: line-through;
  754. color: inherit; }
  755. main#content.mode-text section.enonce div.text div.paragraph section.enonce, main#content.mode-text section.enonce div.text div.paragraph section.item {
  756. padding-left: 2em;
  757. border-left: 1px solid #999; }
  758. main#content.mode-text section.enonce div.text div.paragraph img {
  759. float: left; }
  760. main#content.mode-text section.enonce div.text div.paragraph sup {
  761. font-size: 55%;
  762. font-weight: 400; }
  763. main#content.mode-text section.enonce div.text div.paragraph sup a {
  764. pointer-events: none;
  765. cursor: pointer; }
  766. main#content.mode-text section.enonce hr {
  767. display: none; }
  768. main#content.mode-text section.enonce section ol {
  769. font-size: 0.7em;
  770. margin: -1em 0 2em 0;
  771. padding: 0 0 0 1em; }
  772. main#content.mode-text section.enonce section ol a {
  773. display: none; }
  774. main#content.mode-text .enonce.nested, main#content.mode-text .item.nested {
  775. font-size: 16px;
  776. font-style: normal; }
  777. main#content.mode-text .opened-link .close-link-btn {
  778. width: 20px;
  779. height: 20px;
  780. margin: 1em 0 -2.1em 61px;
  781. position: relative;
  782. background-color: white;
  783. z-index: 10;
  784. cursor: pointer;
  785. text-align: center; }
  786. main#content.mode-text .opened-link .close-link-btn:before {
  787. content: "\1F7AC";
  788. font-style: normal;
  789. font-size: 0.7em;
  790. font-weight: 300; }
  791. .dot {
  792. margin: 0 0 0 70px;
  793. position: relative;
  794. border: 1px solid white;
  795. width: 550px; }
  796. .dot > span.title {
  797. text-transform: capitalize;
  798. padding: 0 0.6em 0 0; }
  799. .dot.opened > span.title {
  800. display: block; }
  801. .dot > p.summary {
  802. display: inline-block;
  803. vertical-align: top;
  804. margin: 0;
  805. opacity: 0;
  806. transition: opacity 0.4s ease-in-out;
  807. max-width: 475px; }
  808. .dot > p.summary a {
  809. color: inherit;
  810. text-decoration: none;
  811. font-weight: bold;
  812. pointer-events: none; }
  813. .dot.preface .title {
  814. display: none; }
  815. .dot.preface p.summary {
  816. opacity: 1; }
  817. .dot:not(.disabled) > span.title, .dot:not(.disabled) > p.summary {
  818. cursor: pointer; }
  819. .dot.disabled > span.title, .dot.disabled > p.summary {
  820. cursor: default; }
  821. .dot > section.text {
  822. display: inline-block;
  823. vertical-align: top;
  824. margin: 0;
  825. width: 435px; }
  826. .dot > section.text p {
  827. margin: 0; }
  828. .dot > section.text p:not(:last-child) {
  829. margin-bottom: 1em; }
  830. .dot > section.text a {
  831. color: inherit;
  832. text-decoration: none;
  833. font-weight: bold; }
  834. .dot.to-links > section.text {
  835. border-top: 1px solid #e2e2e2;
  836. padding-top: 1.5em;
  837. margin-top: -1.4em; }
  838. .dot.from-links > section.text {
  839. border-bottom: 1px solid #e2e2e2; }
  840. .dot > nav.links {
  841. position: relative;
  842. box-sizing: border-box; }
  843. .dot > nav.links.to {
  844. bottom: 100%;
  845. margin-top: 15px;
  846. padding-bottom: 10px;
  847. margin-top: 1em; }
  848. .dot > nav.links.to:before {
  849. content: "\2304";
  850. display: flex;
  851. align-items: flex-end; }
  852. .dot > nav.links.from {
  853. top: 100%;
  854. padding-top: 10px;
  855. margin-bottom: 1em; }
  856. .dot > nav.links.from:before {
  857. content: "\2303"; }
  858. .dot > nav.links:before {
  859. border-left: 1px solid #e2e2e2;
  860. position: absolute;
  861. top: 0;
  862. left: 65px;
  863. height: 100%;
  864. width: 0;
  865. z-index: 3;
  866. text-indent: -0.45em;
  867. line-height: 1;
  868. color: #4a4848; }
  869. .dot:hover > p.summary, .dot.opened > p.summary, .dot.highlight > p.summary {
  870. opacity: 1;
  871. transition: opacity 0.4s ease-in-out; }
  872. .dot.disabled > * {
  873. color: grey; }
  874. .dot.opened {
  875. margin-bottom: 15px; }
  876. .dot .bullet, .dot .close-link-btn {
  877. position: absolute;
  878. width: 20px;
  879. left: -24px;
  880. margin: -3px 0 0 0;
  881. text-align: center; }
  882. .dot .bullet span {
  883. font-style: normal;
  884. font-size: 0.2em;
  885. font-weight: 300; }
  886. .dot .close-link-btn {
  887. cursor: pointer; }
  888. .dot .close-link-btn:before {
  889. content: "\1F7AC";
  890. font-style: normal;
  891. font-size: 0.7em;
  892. font-weight: 300; }
  893. .dot.nested {
  894. font-size: 16px; }
  895. footer {
  896. box-sizing: border-box;
  897. height: 3em;
  898. position: fixed;
  899. bottom: 0;
  900. background-color: white;
  901. width: 100%;
  902. padding: 1em 0 0 70px; }
  903. footer p {
  904. font-size: 0.756em;
  905. display: inline-block;
  906. margin: 0 2em 0 0; }
  907. footer p:before {
  908. content: '\22C5 '; }
  909. footer a {
  910. text-decoration: none;
  911. color: inherit; }
  912. /*# sourceMappingURL=main.css.map*/