app.ethica-spinoza.net/assets/dist/main.css

/*! normalize.css v8.0.0 | MIT License | github.com/necolas/normalize.css */

/* Document
   ========================================================================== */

/**
 * 1. Correct the line height in all browsers.
 * 2. Prevent adjustments of font size after orientation changes in iOS.
 */

html {
  line-height: 1.15; /* 1 */
  -webkit-text-size-adjust: 100%; /* 2 */
}

/* Sections
   ========================================================================== */

/**
 * Remove the margin in all browsers.
 */

body {
  margin: 0;
}

/**
 * Correct the font size and margin on `h1` elements within `section` and
 * `article` contexts in Chrome, Firefox, and Safari.
 */

h1 {
  font-size: 2em;
  margin: 0.67em 0;
}

/* Grouping content
   ========================================================================== */

/**
 * 1. Add the correct box sizing in Firefox.
 * 2. Show the overflow in Edge and IE.
 */

hr {
  box-sizing: content-box; /* 1 */
  height: 0; /* 1 */
  overflow: visible; /* 2 */
}

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */

pre {
  font-family: monospace, monospace; /* 1 */
  font-size: 1em; /* 2 */
}

/* Text-level semantics
   ========================================================================== */

/**
 * Remove the gray background on active links in IE 10.
 */

a {
  background-color: transparent;
}

/**
 * 1. Remove the bottom border in Chrome 57-
 * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
 */

abbr[title] {
  border-bottom: none; /* 1 */
  text-decoration: underline; /* 2 */
  text-decoration: underline dotted; /* 2 */
}

/**
 * Add the correct font weight in Chrome, Edge, and Safari.
 */

b,
strong {
  font-weight: bolder;
}

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */

code,
kbd,
samp {
  font-family: monospace, monospace; /* 1 */
  font-size: 1em; /* 2 */
}

/**
 * Add the correct font size in all browsers.
 */

small {
  font-size: 80%;
}

/**
 * Prevent `sub` and `sup` elements from affecting the line height in
 * all browsers.
 */

sub,
sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sub {
  bottom: -0.25em;
}

sup {
  top: -0.5em;
}

/* Embedded content
   ========================================================================== */

/**
 * Remove the border on images inside links in IE 10.
 */

img {
  border-style: none;
}

/* Forms
   ========================================================================== */

/**
 * 1. Change the font styles in all browsers.
 * 2. Remove the margin in Firefox and Safari.
 */

button,
input,
optgroup,
select,
textarea {
  font-family: inherit; /* 1 */
  font-size: 100%; /* 1 */
  line-height: 1.15; /* 1 */
  margin: 0; /* 2 */
}

/**
 * Show the overflow in IE.
 * 1. Show the overflow in Edge.
 */

button,
input { /* 1 */
  overflow: visible;
}

/**
 * Remove the inheritance of text transform in Edge, Firefox, and IE.
 * 1. Remove the inheritance of text transform in Firefox.
 */

button,
select { /* 1 */
  text-transform: none;
}

/**
 * Correct the inability to style clickable types in iOS and Safari.
 */

button,
[type="button"],
[type="reset"],
[type="submit"] {
  -webkit-appearance: button;
}

/**
 * Remove the inner border and padding in Firefox.
 */

button::-moz-focus-inner,
[type="button"]::-moz-focus-inner,
[type="reset"]::-moz-focus-inner,
[type="submit"]::-moz-focus-inner {
  border-style: none;
  padding: 0;
}

/**
 * Restore the focus styles unset by the previous rule.
 */

button:-moz-focusring,
[type="button"]:-moz-focusring,
[type="reset"]:-moz-focusring,
[type="submit"]:-moz-focusring {
  outline: 1px dotted ButtonText;
}

/**
 * Correct the padding in Firefox.
 */

fieldset {
  padding: 0.35em 0.75em 0.625em;
}

/**
 * 1. Correct the text wrapping in Edge and IE.
 * 2. Correct the color inheritance from `fieldset` elements in IE.
 * 3. Remove the padding so developers are not caught out when they zero out
 *    `fieldset` elements in all browsers.
 */

legend {
  box-sizing: border-box; /* 1 */
  color: inherit; /* 2 */
  display: table; /* 1 */
  max-width: 100%; /* 1 */
  padding: 0; /* 3 */
  white-space: normal; /* 1 */
}

/**
 * Add the correct vertical alignment in Chrome, Firefox, and Opera.
 */

progress {
  vertical-align: baseline;
}

/**
 * Remove the default vertical scrollbar in IE 10+.
 */

textarea {
  overflow: auto;
}

/**
 * 1. Add the correct box sizing in IE 10.
 * 2. Remove the padding in IE 10.
 */

[type="checkbox"],
[type="radio"] {
  box-sizing: border-box; /* 1 */
  padding: 0; /* 2 */
}

/**
 * Correct the cursor style of increment and decrement buttons in Chrome.
 */

[type="number"]::-webkit-inner-spin-button,
[type="number"]::-webkit-outer-spin-button {
  height: auto;
}

/**
 * 1. Correct the odd appearance in Chrome and Safari.
 * 2. Correct the outline style in Safari.
 */

[type="search"] {
  -webkit-appearance: textfield; /* 1 */
  outline-offset: -2px; /* 2 */
}

/**
 * Remove the inner padding in Chrome and Safari on macOS.
 */

[type="search"]::-webkit-search-decoration {
  -webkit-appearance: none;
}

/**
 * 1. Correct the inability to style clickable types in iOS and Safari.
 * 2. Change font properties to `inherit` in Safari.
 */

::-webkit-file-upload-button {
  -webkit-appearance: button; /* 1 */
  font: inherit; /* 2 */
}

/* Interactive
   ========================================================================== */

/*
 * Add the correct display in Edge, IE 10+, and Firefox.
 */

details {
  display: block;
}

/*
 * Add the correct display in all browsers.
 */

summary {
  display: list-item;
}

/* Misc
   ========================================================================== */

/**
 * Add the correct display in IE 10+.
 */

template {
  display: none;
}

/**
 * Add the correct display in IE 10.
 */

[hidden] {
  display: none;
}
/* Generated by Font Squirrel (http://www.fontsquirrel.com) on September 30, 2015 */



@font-face {
    font-family: 'amiri';
    src: url(fonts/amiri-bold-webfont.eot);
    src: url(fonts/amiri-bold-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/amiri-bold-webfont.woff2) format('woff2'),
         url(fonts/amiri-bold-webfont.woff) format('woff'),
         url(fonts/amiri-bold-webfont.ttf) format('truetype'),
         url(fonts/amiri-bold-webfont.svg#amiribold) format('svg');
    font-weight: 700;
    font-style: normal;

}




@font-face {
    font-family: 'amiri';
    src: url(fonts/amiri-boldslanted-webfont.eot);
    src: url(fonts/amiri-boldslanted-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/amiri-boldslanted-webfont.woff2) format('woff2'),
         url(fonts/amiri-boldslanted-webfont.woff) format('woff'),
         url(fonts/amiri-boldslanted-webfont.ttf) format('truetype'),
         url(fonts/amiri-boldslanted-webfont.svg#amiribold_slanted) format('svg');
    font-weight: 700;
    font-style: italic;

}




@font-face {
    font-family: 'amiri';
    src: url(fonts/amiri-regular-webfont.eot);
    src: url(fonts/amiri-regular-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/amiri-regular-webfont.woff2) format('woff2'),
         url(fonts/amiri-regular-webfont.woff) format('woff'),
         url(fonts/amiri-regular-webfont.ttf) format('truetype'),
         url(fonts/amiri-regular-webfont.svg#amiriregular) format('svg');
    font-weight: normal;
    font-style: normal;

}




@font-face {
    font-family: 'amiri';
    src: url(fonts/amiri-slanted-webfont.eot);
    src: url(fonts/amiri-slanted-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/amiri-slanted-webfont.woff2) format('woff2'),
         url(fonts/amiri-slanted-webfont.woff) format('woff'),
         url(fonts/amiri-slanted-webfont.ttf) format('truetype'),
         url(fonts/amiri-slanted-webfont.svg#amirislanted) format('svg');
    font-weight: normal;
    font-style: italic;

}

/* Generated by Font Squirrel (http://www.fontsquirrel.com) on April 28, 2010 12:00:36 PM America/New_York */

/*================================*/
/** MONO **/
@font-face {
	font-family: 'DejaVuSansMono';
	src: url(fonts/DejaVuSansMono-webfont.eot);
	src: local('\263A'), url(fonts/DejaVuSansMono-webfont.woff) format('woff'), url(fonts/DejaVuSansMono-webfont.ttf) format('truetype'), url(fonts/DejaVuSansMono-webfont.svg) format('svg');
	font-weight: normal;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSansMono';
	src: url(fonts/DejaVuSansMono-Oblique-webfont.eot);
	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');
	font-weight: normal;
	font-style: italic;
}

@font-face {
	font-family: 'DejaVuSansMono';
	src: url(fonts/DejaVuSansMono-Bold-webfont.eot);
	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');
	font-weight: bold;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSansMono';
	src: url(fonts/DejaVuSansMono-BoldOblique-webfont.eot);
	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');
	font-weight: bold;
	font-style: italic;
}

/*================================*/
/** SANS **/
/*Extra light*/
@font-face {
	font-family: 'DejaVuSans';
	src: url(fonts/dejavusans-extralight-webfont.eot);
	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');
	font-weight: 100;
	font-style: normal;
}
/*Normal*/
@font-face {
	font-family: 'DejaVuSans';
	src: url(fonts/dejavusans-webfont.eot);
	src: local('\263A'), url(fonts/dejavusans-webfont.woff) format('woff'), url(fonts/dejavusans-webfont.ttf) format('truetype'), url(fonts/dejavusans-webfont.svg) format('svg');
	font-weight: normal;
	font-style: normal;
}
/*Bold*/
@font-face {
	font-family: 'DejaVuSans';
	src: url(fonts/dejavusans-bold-webfont.eot);
	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');
	font-weight: bold;
	font-style: normal;
}

/*================================*/
/** SERIF **/
@font-face {
	font-family: 'DejaVuSerif';
	src: url(fonts/DejaVuSerif-webfont.eot);
	src: local('\263A'), url(fonts/DejaVuSerif-webfont.woff) format('woff'), url(fonts/DejaVuSerif-webfont.ttf) format('truetype'), url(fonts/DejaVuSerif-webfont.svg) format('svg');
	font-weight: normal;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSerif';
	src: url(fonts/DejaVuSerif-Italic-webfont.eot);
	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');
	font-weight: normal;
	font-style: italic;
}

@font-face {
	font-family: 'DejaVuSerif';
	src: url(fonts/DejaVuSerif-Bold-webfont.eot);
	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');
	font-weight: bold;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSerif';
	src: url(fonts/DejaVuSerif-BoldItalic-webfont.eot);
	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');
	font-weight: bold;
	font-style: italic;
}

/*Condensed*/
@font-face {
	font-family: 'DejaVuSerif-condensed';
	src: url(fonts/DejaVuSerifCondensed-webfont.eot);
	src: local('\263A'), url(fonts/DejaVuSerifCondensed-webfont.woff) format('woff'), url(fonts/DejaVuSerifCondensed-webfont.ttf) format('truetype'), url(fonts/DejaVuSerifCondensed-webfont.svg) format('svg');
	font-weight: normal;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSerif-condensed';
	src: url(fonts/DejaVuSerifCondensed-Italic-webfont.eot);
	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');
	font-weight: normal;
	font-style: italic;
}

@font-face {
	font-family: 'DejaVuSerif-condensed';
	src: url(fonts/DejaVuSerifCondensed-Bold-webfont.eot);
	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');
	font-weight: bold;
	font-style: normal;
}

@font-face {
	font-family: 'DejaVuSerif-condensed';
	src: url(fonts/DejaVuSerifCondensed-BoldItalic-webfont.eot);
	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');
	font-weight: bold;
	font-style: italic;
}/* Generated by Font Squirrel (http://www.fontsquirrel.com) on November 15, 2011 05:31:35 AM America/New_York */



@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-Light-webfont.eot);
    src: url(fonts/OpenSans-Light-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-Light-webfont.woff) format('woff'),
         url(fonts/OpenSans-Light-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-Light-webfont.svg#OpenSansLight) format('svg');
    font-weight: 200;
    font-style: normal;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-LightItalic-webfont.eot);
    src: url(fonts/OpenSans-LightItalic-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-LightItalic-webfont.woff) format('woff'),
         url(fonts/OpenSans-LightItalic-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-LightItalic-webfont.svg#OpenSansLightItalic) format('svg');
    font-weight: 200;
    font-style: italic;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-Regular-webfont.eot);
    src: url(fonts/OpenSans-Regular-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-Regular-webfont.woff) format('woff'),
         url(fonts/OpenSans-Regular-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-Regular-webfont.svg#OpenSansRegular) format('svg');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-Italic-webfont.eot);
    src: url(fonts/OpenSans-Italic-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-Italic-webfont.woff) format('woff'),
         url(fonts/OpenSans-Italic-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-Italic-webfont.svg#OpenSansItalic) format('svg');
    font-weight: normal;
    font-style: italic;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-Semibold-webfont.eot);
    src: url(fonts/OpenSans-Semibold-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-Semibold-webfont.woff) format('woff'),
         url(fonts/OpenSans-Semibold-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-Semibold-webfont.svg#OpenSansSemibold) format('svg');
    font-weight: 600;
    font-style: normal;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-SemiboldItalic-webfont.eot);
    src: url(fonts/OpenSans-SemiboldItalic-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-SemiboldItalic-webfont.woff) format('woff'),
         url(fonts/OpenSans-SemiboldItalic-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-SemiboldItalic-webfont.svg#OpenSansSemiboldItalic) format('svg');
    font-weight: 600;
    font-style: italic;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-Bold-webfont.eot);
    src: url(fonts/OpenSans-Bold-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-Bold-webfont.woff) format('woff'),
         url(fonts/OpenSans-Bold-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-Bold-webfont.svg#OpenSansBold) format('svg');
    font-weight: 700;
    font-style: normal;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-BoldItalic-webfont.eot);
    src: url(fonts/OpenSans-BoldItalic-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-BoldItalic-webfont.woff) format('woff'),
         url(fonts/OpenSans-BoldItalic-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-BoldItalic-webfont.svg#OpenSansBoldItalic) format('svg');
    font-weight: 700;
    font-style: italic;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-ExtraBold-webfont.eot);
    src: url(fonts/OpenSans-ExtraBold-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-ExtraBold-webfont.woff) format('woff'),
         url(fonts/OpenSans-ExtraBold-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-ExtraBold-webfont.svg#OpenSansExtrabold) format('svg');
    font-weight: 900;
    font-style: normal;

}

@font-face {
    font-family: 'OpenSans';
    src: url(fonts/OpenSans-ExtraBoldItalic-webfont.eot);
    src: url(fonts/OpenSans-ExtraBoldItalic-webfont.eot?#iefix) format('embedded-opentype'),
         url(fonts/OpenSans-ExtraBoldItalic-webfont.woff) format('woff'),
         url(fonts/OpenSans-ExtraBoldItalic-webfont.ttf) format('truetype'),
         url(fonts/OpenSans-ExtraBoldItalic-webfont.svg#OpenSansExtraboldItalic) format('svg');
    font-weight: 900;
    font-style: italic;

}
html, body {
  font-family: 'amiri', sans-serif;
  font-size: 16px;
  font-kerning: auto;
  line-height: 1.4;
  position: relative;
  margin: 0;
  padding: 0; }

header {
  position: fixed;
  width: 100%;
  height: 5em;
  top: 0;
  z-index: 5;
  background-color: white; }
  header > * {
    display: inline-block;
    vertical-align: text-bottom; }
    header > *:last-child {
      margin-right: 1em; }
  header hgroup {
    margin: 0 4em 0 70px; }
    header hgroup h1, header hgroup h2 {
      margin: 0;
      padding: 0;
      line-height: 1; }
    header hgroup h1 {
      font-size: 3em; }
    header hgroup h2 {
      line-height: 1; }
  header #menus > * {
    display: inline-block;
    vertical-align: top; }
  header #menus nav {
    padding: 0 1em;
    position: relative; }
    header #menus nav h3 {
      margin: 0;
      padding: 0;
      line-height: 1;
      cursor: pointer;
      transition: color 0.3s ease-in-out; }
    header #menus nav ul {
      position: absolute;
      margin: 0;
      left: 0;
      padding: 0 1em 1em;
      background-color: white;
      white-space: nowrap;
      height: 1px;
      opacity: 0;
      overflow: hidden;
      transition: opacity 0.3s ease-in-out; }
      header #menus nav ul li {
        margin: 0;
        padding: 0;
        list-style: none;
        transition: color 0.3s ease-in-out;
        font-weight: 500;
        font-size: 1.2em;
        line-height: 1.2; }
        header #menus nav ul li a {
          color: inherit;
          text-decoration: none; }
  header #menus:hover h3 {
    color: #646464; }
  header #menus:hover nav:hover {
    z-index: 10; }
    header #menus:hover nav:hover h3 {
      color: #000; }
    header #menus:hover nav:hover ul {
      height: auto;
      opacity: 1;
      transition: height opacity 0.3s ease-in-out; }
    header #menus:hover nav:hover li {
      color: #646464; }
      header #menus:hover nav:hover li:hover {
        color: #000; }

.sticky-clone-wrapper {
  padding-top: 5em;
  position: fixed;
  top: 0;
  left: 0;
  z-index: 4;
  width: 100%;
  background-color: white; }
  .sticky-clone-wrapper h1.part-title {
    margin: 0 0 0 70px; }

main#content {
  margin-top: 5em; }
  main#content section.part {
    position: relative;
    margin-bottom: 2em; }

section.intro {
  margin-left: 70px; }

h1.part-title {
  font-size: 1.8em;
  margin: 0 0 0 70px;
  padding-bottom: 0.5em;
  font-weight: normal;
  letter-spacing: 0.3em; }
  h1.part-title em {
    font-size: 0.7em;
    letter-spacing: normal; }

h2.title {
  font-size: 1.2em;
  font-weight: 500;
  margin: 1em 0 0 70px;
  line-height: 1; }

h4.filet {
  margin: 0.5em 0 0 70px; }

div.proposition:not(.chapitre), div.proposition.chapitre:first-of-type, div.proposition:not(.dot.nested),
div.appendice:not(.chapitre),
div.appendice.chapitre:first-of-type,
div.appendice:not(.dot.nested),
div.chapitre:not(.chapitre),
div.chapitre.chapitre:first-of-type,
div.chapitre:not(.dot.nested) {
  margin-top: 1em; }

div.proposition span.title,
div.appendice span.title,
div.chapitre span.title {
  font-size: 1.2em;
  font-weight: 500; }

div.explication span.title,
div.demonstration span.title,
div.scolie span.title,
div.corollaire span.title,
div.prop-axiom span.title,
div.lemme span.title {
  font-size: 0.8em;
  text-transform: capitalize;
  font-variant: small-caps; }

div.lemme-scolie span.title,
div.lemme-corrollaire span.title,
div.lemme-demonstration span.title,
div.corollaire-demo span.title {
  font-size: 0.7em;
  text-transform: capitalize;
  font-variant: small-caps; }

main#content.mode-text section.enonce, main#content.mode-text section.item.nested {
  width: 600px;
  margin: 1em 0 1em 70px;
  overflow-x: visible; }

main#content.mode-text section.enonce {
  font-family: 'amiri', sans-serif;
  font-size: 16px;
  font-kerning: auto;
  line-height: 1.4; }
  main#content.mode-text section.enonce h2 {
    font-size: 1em;
    font-weight: 300;
    margin: 0;
    cursor: pointer; }
  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 {
    font-size: 1.2em;
    float: left;
    margin: 0 0.5em 0 0;
    font-weight: 600;
    text-transform: uppercase; }
  main#content.mode-text section.enonce h3 {
    font-size: 0.9em;
    font-weight: 300;
    margin: 0;
    cursor: pointer; }
  main#content.mode-text section.enonce.proposition > div.text {
    font-size: 1.5em;
    font-weight: 500; }
  main#content.mode-text section.enonce div.text {
    font-size: 1.2em; }
    main#content.mode-text section.enonce div.text div.paragraph {
      margin-bottom: 1em; }
      main#content.mode-text section.enonce div.text div.paragraph div.opened-link {
        display: inline; }
      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 {
        font-weight: 600;
        text-decoration: none;
        color: inherit; }
      main#content.mode-text section.enonce div.text div.paragraph span.link.text:after {
        content: ':'; }
      main#content.mode-text section.enonce div.text div.paragraph section.enonce, main#content.mode-text section.enonce div.text div.paragraph section.item {
        padding-left: 2em;
        border-left: 1px solid #999; }
      main#content.mode-text section.enonce div.text div.paragraph img {
        float: left; }
      main#content.mode-text section.enonce div.text div.paragraph sup {
        font-size: 55%;
        font-weight: 400; }
        main#content.mode-text section.enonce div.text div.paragraph sup a {
          pointer-events: none;
          cursor: pointer; }
  main#content.mode-text section.enonce hr {
    display: none; }
  main#content.mode-text section.enonce section ol {
    font-size: 0.7em;
    margin: -1em 0 2em 0;
    padding: 0 0 0 1em; }
    main#content.mode-text section.enonce section ol a {
      display: none; }

main#content.mode-text .enonce.nested, main#content.mode-text .item.nested {
  font-size: 16px; }

main#content.mode-text .opened-link .close-link-btn {
  width: 20px;
  margin: 1em 0 -2.1em 61px;
  position: relative;
  background-color: white;
  z-index: 10;
  cursor: pointer;
  text-align: center; }
  main#content.mode-text .opened-link .close-link-btn span {
    font-style: normal;
    font-size: 0.7em;
    font-weight: 300; }

.dot {
  margin: 0 0 0 70px;
  position: relative;
  border: 1px solid white;
  width: 550px; }
  .dot > span.title {
    padding: 0 0.6em 0 0; }
  .dot.opened > span.title {
    display: block; }
  .dot > p.summary {
    display: inline-block;
    vertical-align: top;
    margin: 0;
    opacity: 0;
    transition: opacity 0.4s ease-in-out;
    max-width: 475px; }
  .dot.preface .title {
    display: none; }
  .dot.preface p.summary {
    opacity: 1; }
  .dot:not(.disabled) > span.title, .dot:not(.disabled) > p.summary {
    cursor: pointer; }
  .dot.disabled > span.title, .dot.disabled > p.summary {
    cursor: default; }
  .dot > section.text {
    display: inline-block;
    vertical-align: top;
    margin: 0;
    width: 435px; }
    .dot > section.text p {
      margin: 0; }
      .dot > section.text p:not(:last-child) {
        margin-bottom: 1em; }
    .dot > section.text a {
      color: inherit;
      text-decoration: none;
      font-weight: bold; }
  .dot.to-links > section.text {
    border-top: 1px solid #e2e2e2;
    padding-top: 1.5em;
    margin-top: -1.5em; }
  .dot.from-links > section.text {
    border-bottom: 1px solid #e2e2e2; }
  .dot > nav.links {
    position: relative;
    box-sizing: border-box; }
    .dot > nav.links.to {
      bottom: 100%;
      margin-top: 15px;
      padding-bottom: 10px; }
    .dot > nav.links.from {
      top: 100%;
      padding-top: 10px; }
    .dot > nav.links:before {
      content: "";
      border-left: 1px solid #e2e2e2;
      position: absolute;
      top: 0;
      left: 65px;
      height: 100%;
      width: 1px;
      z-index: -1; }
  .dot:hover > p.summary, .dot.opened > p.summary, .dot.highlight > p.summary {
    opacity: 1;
    transition: opacity 0.4s ease-in-out; }
  .dot.disabled > * {
    color: grey; }
  .dot.opened {
    margin-bottom: 15px; }
  .dot .bullet, .dot .close-link-btn {
    position: absolute;
    width: 20px;
    left: -24px;
    margin: -3px 0 0 0;
    text-align: center; }
  .dot .bullet span {
    font-style: normal;
    font-size: 0.2em;
    font-weight: 300; }
  .dot .close-link-btn {
    cursor: pointer; }
    .dot .close-link-btn span {
      font-style: normal;
      font-size: 0.7em;
      font-weight: 300; }
  .dot.nested {
    font-size: 16px; }

footer {
  position: fixed;
  bottom: 0;
  background-color: white;
  width: 100%; }
  footer > * {
    margin-left: 70px; }

/*# sourceMappingURL=main.css.map*/