main.css 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978
  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. html, body {
  532. font-family: 'amiri', sans-serif;
  533. font-size: 16px;
  534. font-kerning: auto;
  535. line-height: 1.4;
  536. position: relative;
  537. margin: 0;
  538. padding: 0; }
  539. header {
  540. position: fixed;
  541. width: 100%;
  542. height: 5em;
  543. top: 0;
  544. z-index: 5;
  545. background-color: white; }
  546. header > * {
  547. display: inline-block;
  548. vertical-align: text-bottom; }
  549. header > *:last-child {
  550. margin-right: 1em; }
  551. header hgroup {
  552. margin: 0 4em 0 70px; }
  553. header hgroup h1, header hgroup h2 {
  554. margin: 0;
  555. padding: 0;
  556. line-height: 1; }
  557. header hgroup h1 {
  558. font-size: 3em; }
  559. header hgroup h2 {
  560. line-height: 1; }
  561. header #menus > * {
  562. display: inline-block;
  563. vertical-align: top; }
  564. header #menus nav {
  565. padding: 0 1em;
  566. position: relative; }
  567. header #menus nav h3 {
  568. margin: 0;
  569. padding: 0;
  570. line-height: 1;
  571. cursor: pointer;
  572. transition: color 0.3s ease-in-out; }
  573. header #menus nav ul {
  574. position: absolute;
  575. margin: 0;
  576. left: 0;
  577. padding: 0 1em 1em;
  578. background-color: white;
  579. white-space: nowrap;
  580. height: 1px;
  581. opacity: 0;
  582. overflow: hidden;
  583. transition: opacity 0.3s ease-in-out; }
  584. header #menus nav ul li {
  585. margin: 0;
  586. padding: 0;
  587. list-style: none;
  588. transition: color 0.3s ease-in-out;
  589. font-weight: 500;
  590. font-size: 1.2em;
  591. line-height: 1.2; }
  592. header #menus nav ul li a {
  593. color: inherit;
  594. text-decoration: none; }
  595. header #menus:hover h3 {
  596. color: #646464; }
  597. header #menus:hover nav:hover {
  598. z-index: 10; }
  599. header #menus:hover nav:hover h3 {
  600. color: #000; }
  601. header #menus:hover nav:hover ul {
  602. height: auto;
  603. opacity: 1;
  604. transition: height opacity 0.3s ease-in-out; }
  605. header #menus:hover nav:hover li {
  606. color: #646464; }
  607. header #menus:hover nav:hover li:hover {
  608. color: #000; }
  609. .sticky-clone-wrapper {
  610. padding-top: 5em;
  611. position: fixed;
  612. top: 0;
  613. left: 0;
  614. z-index: 4;
  615. width: 100%;
  616. background-color: white; }
  617. .sticky-clone-wrapper h1.part-title {
  618. margin: 0 0 0 70px; }
  619. main#content {
  620. margin-top: 5em; }
  621. main#content section.part {
  622. position: relative;
  623. margin-bottom: 2em; }
  624. section.intro {
  625. margin-left: 70px; }
  626. h1.part-title {
  627. font-size: 1.8em;
  628. margin: 0 0 0 70px;
  629. padding-bottom: 0.5em;
  630. font-weight: normal;
  631. letter-spacing: 0.3em; }
  632. h1.part-title em {
  633. font-size: 0.7em;
  634. letter-spacing: normal; }
  635. h2.title {
  636. font-size: 1.2em;
  637. font-weight: 500;
  638. margin: 1em 0 0 70px;
  639. line-height: 1; }
  640. h4.filet {
  641. margin: 0.5em 0 0 70px; }
  642. div.proposition:not(.chapitre), div.proposition.chapitre:first-of-type, div.proposition:not(.dot.nested),
  643. div.appendice:not(.chapitre),
  644. div.appendice.chapitre:first-of-type,
  645. div.appendice:not(.dot.nested),
  646. div.chapitre:not(.chapitre),
  647. div.chapitre.chapitre:first-of-type,
  648. div.chapitre:not(.dot.nested) {
  649. margin-top: 1em; }
  650. div.proposition span.title,
  651. div.appendice span.title,
  652. div.chapitre span.title {
  653. font-size: 1.2em;
  654. font-weight: 500; }
  655. div.explication span.title,
  656. div.demonstration span.title,
  657. div.scolie span.title,
  658. div.corollaire span.title,
  659. div.prop-axiom span.title,
  660. div.lemme span.title {
  661. font-size: 0.8em;
  662. text-transform: capitalize;
  663. font-variant: small-caps; }
  664. div.lemme-scolie span.title,
  665. div.lemme-corrollaire span.title,
  666. div.lemme-demonstration span.title,
  667. div.corollaire-demo span.title {
  668. font-size: 0.7em;
  669. text-transform: capitalize;
  670. font-variant: small-caps; }
  671. main#content.mode-text section.enonce, main#content.mode-text section.item.nested {
  672. width: 600px;
  673. margin: 1em 0 1em 70px;
  674. overflow-x: visible; }
  675. main#content.mode-text section.enonce {
  676. font-family: 'amiri', sans-serif;
  677. font-size: 16px;
  678. font-kerning: auto;
  679. line-height: 1.4; }
  680. main#content.mode-text section.enonce h2 {
  681. font-size: 1em;
  682. font-weight: 300;
  683. margin: 0;
  684. cursor: pointer; }
  685. 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 {
  686. font-size: 1.2em;
  687. float: left;
  688. margin: 0 0.5em 0 0;
  689. font-weight: 600;
  690. text-transform: uppercase; }
  691. main#content.mode-text section.enonce h3 {
  692. font-size: 0.9em;
  693. font-weight: 300;
  694. margin: 0;
  695. cursor: pointer; }
  696. main#content.mode-text section.enonce.proposition > div.text {
  697. font-size: 1.5em;
  698. font-weight: 500; }
  699. main#content.mode-text section.enonce div.text {
  700. font-size: 1.2em; }
  701. main#content.mode-text section.enonce div.text div.paragraph {
  702. margin-bottom: 1em; }
  703. main#content.mode-text section.enonce div.text div.paragraph div.opened-link {
  704. display: inline; }
  705. 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 {
  706. font-weight: 600;
  707. text-decoration: none;
  708. color: inherit; }
  709. main#content.mode-text section.enonce div.text div.paragraph span.link.text:after {
  710. content: ':'; }
  711. main#content.mode-text section.enonce div.text div.paragraph section.enonce, main#content.mode-text section.enonce div.text div.paragraph section.item {
  712. padding-left: 2em;
  713. border-left: 1px solid #999; }
  714. main#content.mode-text section.enonce div.text div.paragraph img {
  715. float: left; }
  716. main#content.mode-text section.enonce div.text div.paragraph sup {
  717. font-size: 50%;
  718. font-weight: 600; }
  719. main#content.mode-text section.enonce hr {
  720. display: none; }
  721. main#content.mode-text section.enonce section ol {
  722. font-size: 0.7em;
  723. margin: -1em 0 2em 0;
  724. padding: 0 0 0 1em; }
  725. main#content.mode-text .enonce.nested, main#content.mode-text .item.nested {
  726. font-size: 16px; }
  727. main#content.mode-text .opened-link .close-link-btn {
  728. width: 20px;
  729. margin: 1em 0 -2.1em 61px;
  730. position: relative;
  731. background-color: white;
  732. z-index: 10;
  733. cursor: pointer;
  734. text-align: center; }
  735. main#content.mode-text .opened-link .close-link-btn span {
  736. font-style: normal;
  737. font-size: 0.7em;
  738. font-weight: 300; }
  739. .dot {
  740. margin: 0 0 0 70px;
  741. position: relative;
  742. border: 1px solid white;
  743. width: 550px; }
  744. .dot > span.title {
  745. padding: 0 0.6em 0 0; }
  746. .dot.opened > span.title {
  747. display: block; }
  748. .dot > p.summary {
  749. display: inline-block;
  750. vertical-align: top;
  751. margin: 0;
  752. opacity: 0;
  753. transition: opacity 0.4s ease-in-out;
  754. max-width: 475px; }
  755. .dot.preface .title {
  756. display: none; }
  757. .dot.preface p.summary {
  758. opacity: 1; }
  759. .dot:not(.disabled) > span.title, .dot:not(.disabled) > p.summary {
  760. cursor: pointer; }
  761. .dot.disabled > span.title, .dot.disabled > p.summary {
  762. cursor: default; }
  763. .dot > section.text {
  764. display: inline-block;
  765. vertical-align: top;
  766. margin: 0;
  767. width: 435px; }
  768. .dot > section.text p {
  769. margin: 0; }
  770. .dot > section.text p:not(:last-child) {
  771. margin-bottom: 1em; }
  772. .dot > section.text a {
  773. color: inherit;
  774. text-decoration: none;
  775. font-weight: bold; }
  776. .dot.to-links > section.text {
  777. border-top: 1px solid #e2e2e2;
  778. padding-top: 1.5em;
  779. margin-top: -1.5em; }
  780. .dot.from-links > section.text {
  781. border-bottom: 1px solid #e2e2e2; }
  782. .dot > nav.links {
  783. position: relative;
  784. box-sizing: border-box; }
  785. .dot > nav.links.to {
  786. bottom: 100%;
  787. margin-top: 15px;
  788. padding-bottom: 10px; }
  789. .dot > nav.links.from {
  790. top: 100%;
  791. padding-top: 10px; }
  792. .dot > nav.links:before {
  793. content: "";
  794. border-left: 1px solid #e2e2e2;
  795. position: absolute;
  796. top: 0;
  797. left: 65px;
  798. height: 100%;
  799. width: 1px;
  800. z-index: -1; }
  801. .dot:hover > p.summary, .dot.opened > p.summary, .dot.highlight > p.summary {
  802. opacity: 1;
  803. transition: opacity 0.4s ease-in-out; }
  804. .dot.disabled > * {
  805. color: grey; }
  806. .dot.opened {
  807. margin-bottom: 15px; }
  808. .dot .bullet, .dot .close-link-btn {
  809. position: absolute;
  810. width: 20px;
  811. left: -24px;
  812. margin: -3px 0 0 0;
  813. text-align: center; }
  814. .dot .bullet span {
  815. font-style: normal;
  816. font-size: 0.2em;
  817. font-weight: 300; }
  818. .dot .close-link-btn {
  819. cursor: pointer; }
  820. .dot .close-link-btn span {
  821. font-style: normal;
  822. font-size: 0.7em;
  823. font-weight: 300; }
  824. .dot.nested {
  825. font-size: 16px; }
  826. footer {
  827. position: fixed;
  828. bottom: 0;
  829. background-color: white;
  830. width: 100%; }
  831. footer > * {
  832. margin-left: 70px; }
  833. /*# sourceMappingURL=main.css.map*/