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

953 lines
26 KiB
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.appendice:not(.chapitre),
div.appendice.chapitre:first-of-type,
div.chapitre:not(.chapitre),
div.chapitre.chapitre:first-of-type {
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: 50%;
font-weight: 600; }
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 .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 {
margin: 0 0.6em 0 0; }
.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; }
.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;
margin-bottom: 15px; }
.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; }
footer {
position: fixed;
bottom: 0;
background-color: white;
width: 100%; }
footer > * {
margin-left: 70px; }
/*# sourceMappingURL=main.css.map*/