main.css 28 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025
  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 0;
  578. background-color: white;
  579. white-space: nowrap; }
  580. header #menus nav ul li {
  581. position: relative;
  582. margin: 0;
  583. padding: 0;
  584. list-style: none;
  585. transition: color 0.3s ease-in-out;
  586. font-weight: 500;
  587. font-size: 1.2em;
  588. line-height: 1.2; }
  589. header #menus nav ul li:not(.active) {
  590. height: 0px;
  591. opacity: 0;
  592. overflow: hidden;
  593. transition: opacity 0.3s ease-in-out; }
  594. header #menus nav ul li a {
  595. color: inherit;
  596. text-decoration: none;
  597. display: inline-block;
  598. width: 100%; }
  599. header #menus nav ul li a:active, header #menus nav ul li a:focus {
  600. outline: none;
  601. -moz-outline-style: none; }
  602. header #menus nav ul li.active a:after {
  603. content: " \1F7AC";
  604. font-style: normal;
  605. font-size: 0.7em;
  606. font-weight: 300; }
  607. header #menus:hover h3 {
  608. color: #646464; }
  609. header #menus:hover nav:hover {
  610. z-index: 10; }
  611. header #menus:hover nav:hover h3 {
  612. color: #000; }
  613. header #menus:hover nav:hover ul {
  614. padding-bottom: 1em; }
  615. header #menus:hover nav:hover li {
  616. height: auto;
  617. opacity: 1;
  618. transition: height opacity 0.3s ease-in-out;
  619. color: #646464; }
  620. header #menus:hover nav:hover li:hover {
  621. color: #000; }
  622. #db-loader {
  623. position: relative;
  624. width: 300px;
  625. height: 1px;
  626. background-color: black;
  627. margin-left: 70px; }
  628. #db-loader #db-loaded {
  629. position: absolute;
  630. top: -1px;
  631. left: 0;
  632. width: 0%;
  633. height: 3px;
  634. background-color: black;
  635. transition: width 1.2s; }
  636. .sticky-clone-wrapper {
  637. padding-top: 5em;
  638. position: fixed;
  639. top: 0;
  640. left: 0;
  641. z-index: 4;
  642. width: 100%;
  643. background-color: white; }
  644. .sticky-clone-wrapper h1.part-title {
  645. margin: 0 0 0 70px; }
  646. main#content {
  647. margin-top: 5em; }
  648. main#content section.part {
  649. position: relative;
  650. margin-bottom: 2em; }
  651. section.intro {
  652. margin-left: 70px; }
  653. h1.part-title {
  654. font-size: 1.8em;
  655. margin: 0 0 0 70px;
  656. padding-bottom: 0.5em;
  657. font-weight: normal;
  658. letter-spacing: 0.3em; }
  659. h1.part-title em {
  660. font-size: 0.7em;
  661. letter-spacing: normal; }
  662. h2.title {
  663. font-size: 1.2em;
  664. font-weight: 500;
  665. margin: 1em 0 0 70px;
  666. line-height: 1; }
  667. h4.filet {
  668. margin: 0.5em 0 0 70px; }
  669. div.proposition:not(.chapitre), div.proposition.chapitre:first-of-type, div.proposition:not(.dot.nested),
  670. div.appendice:not(.chapitre),
  671. div.appendice.chapitre:first-of-type,
  672. div.appendice:not(.dot.nested),
  673. div.chapitre:not(.chapitre),
  674. div.chapitre.chapitre:first-of-type,
  675. div.chapitre:not(.dot.nested) {
  676. margin-top: 1em; }
  677. div.proposition span.title,
  678. div.appendice span.title,
  679. div.chapitre span.title {
  680. font-size: 1.2em;
  681. font-weight: 500; }
  682. div.explication span.title,
  683. div.demonstration span.title,
  684. div.scolie span.title,
  685. div.corollaire span.title,
  686. div.prop-axiom span.title,
  687. div.lemme span.title {
  688. font-size: 0.8em;
  689. text-transform: capitalize;
  690. font-variant: small-caps; }
  691. div.lemme-scolie span.title,
  692. div.lemme-corrollaire span.title,
  693. div.lemme-demonstration span.title,
  694. div.corollaire-demo span.title {
  695. font-size: 0.7em;
  696. text-transform: capitalize;
  697. font-variant: small-caps; }
  698. main#content.mode-text section.enonce, main#content.mode-text section.item.nested {
  699. width: 600px;
  700. margin: 1em 0 1em 70px;
  701. overflow-x: visible; }
  702. main#content.mode-text section.enonce {
  703. font-family: 'amiri', sans-serif;
  704. font-size: 16px;
  705. font-kerning: auto;
  706. line-height: 1.4; }
  707. main#content.mode-text section.enonce h2 {
  708. font-size: 1em;
  709. font-weight: 300;
  710. margin: 0;
  711. cursor: pointer; }
  712. 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 {
  713. font-size: 1.2em;
  714. float: left;
  715. margin: 0 0.5em 0 0;
  716. font-weight: 600;
  717. text-transform: uppercase; }
  718. main#content.mode-text section.enonce h3 {
  719. font-size: 0.9em;
  720. font-weight: 300;
  721. margin: 0;
  722. cursor: pointer; }
  723. main#content.mode-text section.enonce.proposition > div.text {
  724. font-size: 1.5em;
  725. font-weight: 500; }
  726. main#content.mode-text section.enonce div.text {
  727. font-size: 1.2em; }
  728. main#content.mode-text section.enonce div.text div.paragraph {
  729. margin-bottom: 1em; }
  730. main#content.mode-text section.enonce div.text div.paragraph div.opened-link {
  731. display: inline; }
  732. 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 {
  733. font-weight: 600;
  734. text-decoration: none;
  735. color: inherit; }
  736. main#content.mode-text section.enonce div.text div.paragraph span.link.text:after {
  737. content: ':'; }
  738. main#content.mode-text section.enonce div.text div.paragraph section.enonce, main#content.mode-text section.enonce div.text div.paragraph section.item {
  739. padding-left: 2em;
  740. border-left: 1px solid #999; }
  741. main#content.mode-text section.enonce div.text div.paragraph img {
  742. float: left; }
  743. main#content.mode-text section.enonce div.text div.paragraph sup {
  744. font-size: 55%;
  745. font-weight: 400; }
  746. main#content.mode-text section.enonce div.text div.paragraph sup a {
  747. pointer-events: none;
  748. cursor: pointer; }
  749. main#content.mode-text section.enonce hr {
  750. display: none; }
  751. main#content.mode-text section.enonce section ol {
  752. font-size: 0.7em;
  753. margin: -1em 0 2em 0;
  754. padding: 0 0 0 1em; }
  755. main#content.mode-text section.enonce section ol a {
  756. display: none; }
  757. main#content.mode-text .enonce.nested, main#content.mode-text .item.nested {
  758. font-size: 16px;
  759. font-style: normal; }
  760. main#content.mode-text .opened-link .close-link-btn {
  761. width: 20px;
  762. height: 20px;
  763. margin: 1em 0 -2.1em 61px;
  764. position: relative;
  765. background-color: white;
  766. z-index: 10;
  767. cursor: pointer;
  768. text-align: center; }
  769. main#content.mode-text .opened-link .close-link-btn:before {
  770. content: "\1F7AC";
  771. font-style: normal;
  772. font-size: 0.7em;
  773. font-weight: 300; }
  774. .dot {
  775. margin: 0 0 0 70px;
  776. position: relative;
  777. border: 1px solid white;
  778. width: 550px; }
  779. .dot > span.title {
  780. padding: 0 0.6em 0 0; }
  781. .dot.opened > span.title {
  782. display: block; }
  783. .dot > p.summary {
  784. display: inline-block;
  785. vertical-align: top;
  786. margin: 0;
  787. opacity: 0;
  788. transition: opacity 0.4s ease-in-out;
  789. max-width: 475px; }
  790. .dot.preface .title {
  791. display: none; }
  792. .dot.preface p.summary {
  793. opacity: 1; }
  794. .dot:not(.disabled) > span.title, .dot:not(.disabled) > p.summary {
  795. cursor: pointer; }
  796. .dot.disabled > span.title, .dot.disabled > p.summary {
  797. cursor: default; }
  798. .dot > section.text {
  799. display: inline-block;
  800. vertical-align: top;
  801. margin: 0;
  802. width: 435px; }
  803. .dot > section.text p {
  804. margin: 0; }
  805. .dot > section.text p:not(:last-child) {
  806. margin-bottom: 1em; }
  807. .dot > section.text a {
  808. color: inherit;
  809. text-decoration: none;
  810. font-weight: bold; }
  811. .dot.to-links > section.text {
  812. border-top: 1px solid #e2e2e2;
  813. padding-top: 1.5em;
  814. margin-top: -1.4em; }
  815. .dot.from-links > section.text {
  816. border-bottom: 1px solid #e2e2e2; }
  817. .dot > nav.links {
  818. position: relative;
  819. box-sizing: border-box; }
  820. .dot > nav.links.to {
  821. bottom: 100%;
  822. margin-top: 15px;
  823. padding-bottom: 10px;
  824. margin-top: 1em; }
  825. .dot > nav.links.to:before {
  826. content: "\2304";
  827. display: flex;
  828. align-items: flex-end; }
  829. .dot > nav.links.from {
  830. top: 100%;
  831. padding-top: 10px;
  832. margin-bottom: 1em; }
  833. .dot > nav.links.from:before {
  834. content: "\2303"; }
  835. .dot > nav.links:before {
  836. border-left: 1px solid #e2e2e2;
  837. position: absolute;
  838. top: 0;
  839. left: 65px;
  840. height: 100%;
  841. width: 0;
  842. z-index: 3;
  843. text-indent: -0.45em;
  844. line-height: 1;
  845. color: #4a4848; }
  846. .dot:hover > p.summary, .dot.opened > p.summary, .dot.highlight > p.summary {
  847. opacity: 1;
  848. transition: opacity 0.4s ease-in-out; }
  849. .dot.disabled > * {
  850. color: grey; }
  851. .dot.opened {
  852. margin-bottom: 15px; }
  853. .dot .bullet, .dot .close-link-btn {
  854. position: absolute;
  855. width: 20px;
  856. left: -24px;
  857. margin: -3px 0 0 0;
  858. text-align: center; }
  859. .dot .bullet span {
  860. font-style: normal;
  861. font-size: 0.2em;
  862. font-weight: 300; }
  863. .dot .close-link-btn {
  864. cursor: pointer; }
  865. .dot .close-link-btn:before {
  866. content: "\1F7AC";
  867. font-style: normal;
  868. font-size: 0.7em;
  869. font-weight: 300; }
  870. .dot.nested {
  871. font-size: 16px; }
  872. footer {
  873. position: fixed;
  874. bottom: 0;
  875. background-color: white;
  876. width: 100%; }
  877. footer > * {
  878. margin-left: 70px; }
  879. /*# sourceMappingURL=main.css.map*/