main.css 28 KB

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