@font-face {
    font-family: 'MJX_Main';
        src: url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/eot/MathJax_Main-Regular.eot'); /* IE9 Compat Modes */
        src: url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/eot/MathJax_Main-Regular.eot?iefix') format('eot'),
            url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/woff/MathJax_Main-Regular.woff')  format('woff'),
            url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/otf/MathJax_Main-Regular.otf')  format('opentype'),
            url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/svg/MathJax_Main-Regular.svg#MathJax_Main-Regular') format('svg');
}

@font-face {
    font-family: 'MJX_LatinMain';
        src: url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/eot/LatinModernMathJax_Main-Regular.eot'); /* IE9 Compat Modes */
        src: url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/eot/LatinModernMathJax_Main-Regular.eot?iefix') format('eot'),
            url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/woff/LatinModernMathJax_Main-Regular.woff')  format('woff'),
            url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/otf/LatinModernMathJax_Main-Regular.otf')  format('opentype'),
            url('http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/svg/LatinModernMathJax_Main-Regular.svg#LatinModernMathJax_Main-Regular') format('svg');
}

#wikiedit #text {
    margin-bottom: 25px; 
    font-size: 110%;
    color: #4c4c4c; /* #323232, #666666 */
    font-weight: 200;
}

#head h1 {
	font: 400 2.5em arial,sans-serif;
	color: #666;
	margin-top: 50px;
	margin-bottom: 12px;
	padding-bottom: 0px;
	letter-spacing: -0.1em;
	text-transform: uppercase;
	height: 1.15em;
	}

#head .sitetag {
    font: 400 1.8em 'trebuchet ms',arial,sans-serif;
    margin-top: -0.7em;
    padding: 0;
    margin-bottom: 40px;
    letter-spacing: -0.1em;
}



#content h2.page-head a {
    font: 400 1.2em 'trebuchet ms',arial,sans-serif;
    color: #999;
    margin-top: 1.4em;
    padding-top: 0px;
    letter-spacing: -1px;
  }

#content h3 {
    font: 400 1.3em 'trebuchet ms',arial,sans-serif;
    color: #999;
    margin-top: 30px;/* -0.4em;*/
    /* margin-bottom: -20px;*/
    padding-top: 0px;
    letter-spacing: -1px;
}

#content a, #content2 a, #foot a, .blogit-listmore a, #right a {
    text-decoration: none;
    border-bottom: none;
}

/* Ne fonctionne plus avec Firefox 130.0. Le bord s'affiche en
permanence*/
/* Fonctionne avec Safari 17.6*/

#content a:hover {
    border-bottom: 1px dotted #92BF92;
  }


/* Couleur et font de body définis par style.css de la skin choice */
body {
    color: #666;
    font-size: medium;/*1.0em;*/
}

.abstract
{
  margin:0px;
}

div.abstract {
  margin-top:0px;
  margin-bottom:30px;
  padding-top: 0px;
  padding-left: 14px;
  padding-right:4px;
  padding-bottom:0px;
  /*border: 2px solid rgb(146, 191, 146);*/
  border-left: 6px solid rgb(146, 191, 146);
  line-height: normal;
  /*border-radius: 5px;*/
  display: list-item;
}

div.abstract > p {
  line-height:1.2em;
  text-align: justify;
}

ol {
    color: #666;
    /*font: 400 .9em 'trebuchet ms',arial,sans-serif;*/
    font: 400 90% 'trebuchet ms',arial,sans-serif;
    padding: 10px;
    /*margin-top: -10px;*/
}

ul {
    /*font-size: .9em;*/
    font-size: 90%;
    color: #666;
}


/*#content {
    font: 400 .9em 'MJX_LatinMain',arial;
}*/

#content ul {
    color: #666;
    /*margin-top: -10px;*/
}

#content ul li {
    padding: 4px 0;
    list-style-image: url('bullet2.gif');
    background: none;
}


#right ul {
    color: #777;
    font: 400 0.9em arial,sans-serif;
    padding: 0px 10px;
    margin-top: -5px;
}

.indent {
    font-size: .9em;
}

#foot p.credits {
    display: none; 
    font-family: monospace;
}
#foot p.modified {
    float: left;
    font-family: monospace;
}

#foot p.mycredits {
    float: right; 
    font-family: monospace;
}

#foot p.math {
    float: right; 
}

#foot a {
    border-bottom:none;
}

#foot a:hover {
    border-bottom:1px dotted #92BF92;
}

div#hdp img {
    border:0;
/*    position:fixed;*/
    position:absolute;
    bottom:60px;
    right:0px;
    opacity:0.2;
}

div#hdp img:hover {
    opacity:1.0;
    /* border-style:solid;*/
    /* border-width:2px;*/
}


.top a {
    text-decoration: none;
    opacity:0.6;
}

.top a:hover {
    opacity:1;
}

.arttitle {
    font-weight: normal;
    font-size: 100%;
}

.journal {
    font-style: italic;
}

.volume {
    font-weight: bold;
}




.theorem {
    display: block;
    margin: 12px 0;
    font-style: italic;
    font-size: 90%;/*.9em;*/
    line-height: 1.8em;
}

.theorem:before {
    content: "Theorem.";
    font-weight: bold;
    font-style: normal;
}

.theorem[text]:before {
    content: "Theorem (" attr(text) "). ";
}

.proposition {
    display: block;
    margin: 12px 0;
    font-style: italic;
    font-size: 90%;/*.9em;*/
    line-height: 1.8em;
}

.proposition:before {
    content: "Proposition.";
    font-weight: bold;
    font-style: normal;
}

.proposition[text]:before {
    content: "Proposition (" attr(text) "). ";
}

.lemma {
    display: block;
    margin-top: 0px;
    margin-bottom: 12px;
    font-style: italic;
    font-size: 90%;/*.9em;*/
    line-height: 1.8em;
}

.lemma:before {
    content: "Lemma.";
    font-weight: bold;
    font-style: normal;
}

.lemma[text]:before {
    content: "Lemma (" attr(text) "). ";
}

.proof, .idproof, .idproofstart, .idproofend, .proofinterm{
    display: block;
   /* margin: 12px 0;*/
    font-style: normal;
    font-size: 90%;/*.9em;*/
    font-weight: 200;
    line-height: 1.8em;
}

.proof, .idproof, .idproofend {
    margin: 0 0 40px 0;
}


.proof:before {
    content: "Proof.";
    font-style: italic;
}

.proof[text]:before {
    content: "Proof " attr(text) ". ";
}


.proof:after, .idproof:after, .idproofend:after {
    content: "\29E0";
    float:right;
}

 
.idproof:before, .idproofstart:before {
    content: "Ideas of proof.";
    font-style: italic;
}

.idproof:after {
    content: "\29E0";
    float:right;
}


.definition {
    display: block;
    margin: 12px 0;
    font-style: normal;
    font-size: 90%;/*.9em;*/
}
.definition:before {
    content: "Definition.";
    font-weight: bold;
    font-style: normal;
}

.definition[text]:before {
    content: "Definition (" attr(text) "). ";
}

.definition > p {
  margin-top: 0px;
}

.theorem >p {
  margin-top: 0px;
}

.lemma >p {
  margin-top: 0px;
}

.proposition >p {
  margin-top: 0px;
}

#aboutimages {
   /* background:#ddd; */
    position:relative;
}

#aboutimgleft {
    float:left;
    margin-left:30px;
} 

#aboutimgcenter {
    margin: 0 auto;
}
#aboutimgright {
    position:absolute;
    top:0;
    margin-right:0px;
} 
#aboutimages > div{
    width:100px;
    height:100px;
    
    /* added for style */
   /* background:#333;
    color:#fff;
    font-size:90px; */
}

ul#logo {
    text-align: justify;
    list-style: none;
}

ul#logo:after{
    content: " ";
    display: inline-block;
    width: 100%;
}

li#logo{
    display: inline; /* if you're using an element that's already `inline` like a span, you don't need this */
}


.footnote_block_begin { 
    border-bottom: 2px solid #92BF92;
}

div.footnote {
	font-size: 85%;
  }