/* General typesetting */
/*
font-family: "Helvetica Neue", Helvetica, Arial, "Nimbus Sans L", sans-serif;
font-family: 'PT Serif', "Bitstream Charter", "ITC Charter", Georgia, serif;
*/

/* from https://google-webfonts-helper.herokuapp.com/ */
@font-face {
    font-family: 'PT Serif';
    font-style: normal;
    font-weight: 400;
    src: url('/fonts/pt-serif-v12-latin-regular.woff2') format('woff2');
}
@font-face {
    font-family: 'PT Serif';
    font-style: italic;
    font-weight: 400;
    src: url('/fonts/pt-serif-v12-latin-italic.woff2') format('woff2');
}

body {
font-family: 'PT Serif', "Bitstream Charter", "ITC Charter", Georgia, serif;
}

dd {
margin-left: 4em;
}

dt {
margin-left:1em;
margin-top:0.5em;
}

h1 {
margin-top: 0em;
margin-bottom: 1.2em;
margin-left: 15%;
margin-right: 15%;
text-align:center;
letter-spacing: 0.05em;
line-height: 120%;
}

h2 {
margin: 1.1em 0em 0.7em;
line-height: 120%;
}

h3 {
margin-top: 1em;
margin-left: 0.83em;
margin-bottom: 0.6em;
}

h4 {
margin-top: 0.5em;
margin-left: 1em;
margin-bottom: 0.2em;
}

dt,h1,h2,h3,h4 {
font-family: "Helvetica Neue", Helvetica, Arial, "Nimbus Sans L", sans-serif;
font-weight:bold;
}

p {
margin:0em 1em 0.2em 1em;
text-indent: 1.5em;
/*text-align: justify;*/
}

ul,ol {
margin:1ex 1em 1ex -0.5em;
/*text-align: justify;*/
}

ul.indent, ol.indent {
margin-left: 1.5em;
}

li {
margin-bottom: 1ex;
/*text-align: justify;*/
}

code.block {
display: block;
margin: 1.5em;
white-space: pre;
}

.text_only {
display: none;
}

p.adresse {
text-indent: 0em;
}

small {
font-size: 69%;
}

p.quote {
margin-top:2em;
margin-bottom:2em;
margin-left: 3em;
font-style: italic;
}

sup, sub {
font-size:80%;
}

img {
max-width:95%;
}

/*#content {
hyphens:auto;
-ms-hyphens:auto;
-webkit-hyphens:auto;
}*/

#content p.metainfo {
text-align: right;
margin-right: 4em;
font-style: italic;
font-size: 80%;
}

#content img {
margin: 1em auto;
}

.noindent {
text-indent:0em;
}

#header .last_modified {
font-size: 80%;
font-style: italic;
}

          /* menu */

#menucontent .menuitem.level1 {
margin-left: 0em;
}
#menucontent .menuitem.level2 {
margin-left: 0.5em;
}
#menucontent .menuitem.level3 {
margin-left: 1em;
}


#menucontent .menuitem div.selected,
#menucontent .menuitem a {
margin-top: 0.5em;
display: block;
}

.menu .menubottom {
clear: left;
}

#menucontent .menuitem .description {
display: block;
font-size: 80%;
margin-left: 1em;
margin-right: 0.3em;
line-height: 1.2em;
text-align: justify;
font-family: 'PT Serif', "Bitstream Charter", "ITC Charter", Georgia, serif;
}

          /* footer */

#footer {
font-size:69%;
margin:0em;
padding: 0.15em;
text-align: center;
}

#footer p {
  text-align: center;
  color: #478;
  background-color: transparent;
}


    /* W3 logos */
.flag {
  border: 0px;
}

/* Articles */

#content div.columns {
line-height: 120%;
margin:0em;
margin-top:1em;
}

#content div.columns2 {
/*column-width: 18em;
column-gap: 1em;
-moz-column-width: 18em;
-moz-column-gap: 0em;
-webkit-column-width: 18em;
-webkit-column-gap: 0em;*/
margin:2ex 6%;
}

#content div.columns p,
#content div.columns h3,
#content div.columns h4  {
margin-left:0em;
}

#content .abstract {
font-size: 90%;
line-height: 110%;
}

#content .abstract h4 {
margin-bottom: 0.2em;
}

#content .liste_articles h3 {
  margin:0;
  display:inline;
  font-size:110%;
  margin-right:0.3em;
}

#content .liste_articles {
  padding:0.5em;
  border: 1px solid transparent;
  margin-bottom:0.6em;
  -moz-border-radius: 2px;
  -webkit-border-radius: 2px;
  border-radius: 2px;
  -khtml-border-radius: 2px;
}

#content .liste_articles.article_on {
  border-color: inherit;
}

#content .liste_articles.article_off div.columns {
  display: none;
}

#content .liste_articles.article_off {
  cursor:pointer;
}

#content .liste_articles span.click_to {
  font-size:80%;
}

#content .liste_articles span.click_to {
  display: none;
}

#content .liste_articles.article_off span.click_to {
  display: inline;
}

#content .liste_articles .article_type {
font-variant: small-caps;
line-height:1em;
}

#content .liste_articles p {
margin:0em 0em 0.2em 0em;
}

#content .liste_articles .visible_info {
margin-left: 0em;
}

#content .liste_articles .visible_info p {
text-indent: 0em;
}

#content .liste_articles .visible_info p.article_link {
font-family: "Helvetica Neue", Helvetica, Arial, "Nimbus Sans L", sans-serif;
font-size:110%;
font-weight:300;
}

#content .liste_articles code.block {
margin: 0.5em;
}

/* Navbar */

#leftbar .menu_sl_off .menu_sl_roll {
  display:none;
}

#leftbar .menu_sl_off {
  cursor:pointer;
}

/* Round corners */

#content img,
#content .block {
-moz-border-radius: 3px;
-webkit-border-radius: 3px;
border-radius: 3px;
-khtml-border-radius: 3px;
}

/* phpBibLib: https://people.mmci.uni-saarland.de/~jilles/prj/phpBibLib/ */

.bibtex-biblio {
	clear: both;
	width: 100%;
	margin-bottom: 0px;
}
.bibtex-entry {
	width: 100%;
	margin-bottom: 0.3ex;
}
.bibtex-reference {
	vertical-align: top;
	width: 1em;
	padding-right: 0.5em;
}
.bibtex-reference.bibtex-abbrv {
	width: 2em;
}
.bibtex-citation {

}

.bibtex-mathmode {
/*	font-family: Serif;*/
	font-style: italic;
}

.bibtex-inproceedings.bibtex-natbib {
	padding-left: 0.5em;
}

.bibtex-author {
}
.bibtex-title {
/*	font-weight: 500;*/
}
.bibtex-booktitle {
	font-style: italic;
}
.bibtex-pages {
}
.bibtex-publisher {
}
.bibtex-year {
}

.bibtex-journal {
}
.bibtex-author {
}
.bibtex-title {
}
.bibtex-year {
}
.bibtex-volume {
}
.bibtex-jname {
	font-style: italic;
}
.bibtex-number {
}
.bibtex-pages {
}
.bibtex-publisher {
}