Add theorem environments (with counters)

master
Stéphane Adjemian (Ryûk) 2022-03-25 10:02:40 +01:00
parent 661a5a6504
commit bdb99d765d
Signed by: stepan
GPG Key ID: 295C1FE89E17EB3C
2 changed files with 140 additions and 4 deletions

View File

@ -10,7 +10,6 @@
src: url(../fonts/Quicksand/Quicksand-Regular.ttf);
font-weight: normal;
}
@font-face {
font-display: swap;
font-family: Quicksand;
@ -305,6 +304,13 @@ body {
max-width: 1065px;
padding: 1em;
text-align: justify;
counter-reset: theorem;
counter-reset: definition;
counter-reset: lemma;
counter-reset: corollary;
counter-reset: proposition;
counter-reset: property;
counter-reset: assumption;
}
code {
background-color: #fdf6e3;
@ -373,9 +379,9 @@ h1, h2, h3, h4, h5, h6, ul {
}
p {
margin-top: 0px;
margin-bottom: 0px;
-moz-hyphens: auto;
margin-top: 12px;
margin-bottom: 12px;
-moz-hyphens: auto;
}
.figure {

130
assets/css/theorems-fr.css Normal file
View File

@ -0,0 +1,130 @@
.theorem {
display: block;
width:90%;
margin:30px auto;
font-style: italic;
counter-increment: theorem;
}
.theorem:before {
content: "Théorème " counter(theorem) ".";
font-weight: bold;
font-style: normal;
}
.theorem p:first-child {
display: inline;
}
.lemma {
display: block;
width:90%;
margin:30px auto;
font-style: italic;
counter-increment: lemma;
}
.lemma:before {
content: "Lemme " counter(lemma) ".";
font-weight: bold;
font-style: normal;
}
.lemma p:first-child {
display: inline;
}
.corollary {
display: block;
width:90%;
margin:30px auto;
font-style: italic;
counter-increment: corollary;
}
.corollary:before {
content: "Corollaire " counter(corollary) ".";
font-weight: bold;
font-style: normal;
}
.corollary p:first-child {
display: inline;
}
.proposition {
display: block;
width:90%;
margin:30px auto;
font-style: italic;
counter-increment: proposition;
}
.proposition:before {
content: "Proposition " counter(proposition) ".";
font-weight: bold;
font-style: normal;
}
.proposition p:first-child {
display: inline;
}
.property {
display: block;
width:90%;
margin:30px auto;
font-style: italic;
counter-increment: property;
}
.property:before {
content: "Propriété " counter(property) ".";
font-weight: bold;
font-style: normal;
}
.property p:first-child {
display: inline;
}
.assumption {
display: block;
width:90%;
margin:30px auto;
font-style: italic;
counter-increment: assumption;
}
.assumption:before {
content: "Hypothèse " counter(assumption) ".";
font-weight: bold;
font-style: normal;
}
.assumption p:first-child {
display: inline;
}
.definition {
display: block;
width:90%;
margin:30px auto;
font-style: italic;
counter-increment: definition;
}
.definition:before {
content: "Définition " counter(definion) ".";
font-weight: bold;
font-style: normal;
}
.definition p:first-child {
display: inline;
}
.proof {
display: block;
margin: 30px 0;
font-style: normal;
}
.proof:before {
content: "Preuve.";
font-style: italic;
}
.proof:after {
content: "\25FC";
float:right;
margin-top: -35px;
}
.proof p:first-child {
display: inline;
}