<commit_before>/* style of "before" */
/** before plain or definition **/
.conjecture:before,.corollary:before,.definition:before,.example:before,.lemma:before,.postulate:before,.problem:before,.proposition:before,.theorem:before
{
	font-weight:700;
	font-style:normal
}
/** before remark or proof **/
.remark:before,.note:before,.case:before,.proof:before
{
	font-style:italic
}
/* content of "before" (everything goes here) */
.corollary:before
{
	content:"Corollary."
}

.lemma:before
{
	content:"Lemma."
}

.proposition:before
{
	content:"Proposition."
}

.theorem:before
{
	content:"Theorem."
}
.definition:before
{
	content:"Definition."
}

.conjecture:before
{
	content:"Conjecture."
}

.example:before
{
	content:"Example."
}

.postulate:before
{
	content:"Postulate."
}

.problem:before
{
	content:"Problem."
}
.remark:before
{
	content:"Remark."
}

.note:before
{
	content:"Note."
}

.case:before
{
	content:"Case."
}
.proof:before
{
	content:"Proof."
}
/* main style */
/** plain **/
.corollary,.lemma,.proposition,.theorem
{
	display:block;
	margin:12px 0;
	font-style:italic
}
/** definition, remark or proof **/
.case,.conjecture,.definition,.example,.note,.postulate,.problem,.proof,.remark
{
	display:block;
	margin:12px 0;
	font-style:normal<commit_msg>Update amsthm with css counter to increment the theorem numbering<commit_after>/* CSS counter */

body {
    counter-reset: theorem;
    counter-reset: lemma;
    counter-reset: proposition;
    counter-reset: definition;
    counter-reset: conjecture;
    counter-reset: example;
    counter-reset: postulate;
    counter-reset: problem;
    counter-reset: case;
}

/* style of "before" */
/** before plain or definition **/
.conjecture:before,.corollary:before,.definition:before,.example:before,.lemma:before,.postulate:before,.problem:before,.proposition:before,.theorem:before
{
	font-weight:700;
	font-style:normal
}
/** before remark or proof **/
.remark:before,.note:before,.case:before,.proof:before
{
	font-style:italic
}
/* content of "before" (everything goes here) */
.corollary:before
{
	content:"Corollary."
}

.lemma:before
{
	counter-increment: lemma;
	content:"Lemma " counter(lemma) ". "
}

.proposition:before
{
	counter-increment: proposition;
	content:"Proposition " counter(proposition) ". "
}

.theorem:before
{
	counter-increment: theorem;
	content:"Theorem " counter(theorem) ". "
}
.definition:before
{
	counter-increment: definition;
	content:"Definition " counter(definition) ". "
}

.conjecture:before
{
	counter-increment: conjecture;
	content:"Conjecture " counter(conjecture) ". "
}

.example:before
{
	counter-increment: example;
	content:"Example " counter(example) ". "
}

.postulate:before
{
	counter-increment: postulate;
	content:"Postulate " counter(postulate) ". "
}

.problem:before
{
	counter-increment: problem;
	content:"Problem " counter(problem) ". "
}
.remark:before
{
	content:"Remark."
}

.note:before
{
	content:"Note."
}

.case:before
{
	counter-increment: case;
	content:"Case " counter(case) ". "
}
.proof:before
{
	content:"Proof."
}
/* main style */
/** plain **/
.corollary,.lemma,.proposition,.theorem
{
	display:block;
	margin:12px 0;
	font-style:italic
}
/** definition, remark or proof **/
.case,.conjecture,.definition,.example,.note,.postulate,.problem,.proof,.remark
{
	display:block;
	margin:12px 0;
	font-style:normal
{'fraction_non_alphanumeric': 0.16999701759618252, 'fraction_numerical': 0.0053683268714583956, 'mean_word_length': 4.762886597938144, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6149296', 'n_tokens_mistral': 1166, 'n_tokens_neox': 1135, 'n_words': 188}