@font-face {
  font-family: 'opensans';
  src: url('webfont/OpenSans-Regular-webfont.woff');
}

@font-face {
  font-family: 'xits-math';
  src: url('webfont/xits-math.woff');
}

body
{
  font-family: opensans, sans-serif;
  background-color: #cecece;
  font-size: 11pt;
  color: #111111;
}

#my_picture
{
  width: min(120px, 30vw);
  float: right;
  padding: 5px;
}

#logo_anr
{
  width: min(20mm, 10vw);
  min-width: 10mm;
  float: right;
  padding: 3mm;
}

math
{
  font-family: xits-math, Latin Modern Math;
  font-size: 115%;
}

.texttt
{
  font-family: monospace;
  font-size: 10pt;
}

strong
{
  font-size: 93%;
}

#bloc
{
  width: 750px;
  margin: auto;
  background-color: #f5f5f5;
	border-radius: 10px;
}

.element
{
  width: auto;
  margin: 0px 50px;
}

header h1
{
  font-size: 20pt;
  color: #EEEEEE;
  margin-left: 50px;
  margin-right: 20px;
  display: inline-block;
}

@media all and (max-width: 780px) /* for small screens */
{
  #bloc
  {
    width: auto;
  }

  .element
  {
    width: auto;
    margin: 0px 4%;
  }

  header h1
  {
    font-size: 15pt;
    margin-left: 4%;
  }
}

.footer_text
{
  text-align: right;
  font-size: 90%;
  color: #666666;
  padding: 0px 17px 12px 12px;
}

.footer_text a
{
  font-family: monospace;
  font-size: 90%; /* why doesn't inherit work here ?? */
  color: inherit;
}

header, section, nav
{
  padding: 12px;
}

header.element
{
  margin: 0px;
  background-color: #B00000;
}

footer.element
{
  margin: 0px;
}

nav
{
  font-size: 10pt;
  display: inline-block;
  color: #e0e0e0;
  margin-top: 0px;
}

nav ul
{
  list-style-type: none;
  margin: 0;
  padding: 0;
  text-align: center;
  color: inherit;
}

nav ul li
{
  display: inline-block;
  padding: 0px 5px 6px 5px;
  color: inherit;
}

nav span
{
  color: inherit;
}

.dropdown
{
  padding: 0px;
  position: relative;
}

.dropbtn
{
  display: block;
  padding: 0px 5px 6px 5px;
  font-family: inherit; /* Important for vertical align on mobile phones */
  margin: 0;            /* Important for vertical align on mobile phones */
  color: inherit;
}

.droparrow
{
  padding: 3px 3px;
  font-size: x-small;
}

.dropdown-content
{
  white-space: nowrap;
  display: none;
  position: absolute;
  text-align: left;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  z-index: 1;
}

.dropdown-content li
{
  display: block;
  margin: 0px;
  padding: 5px 5px;
  background: #B00000;
}

.dropdown:hover .dropdown-content
{
  display: block;
}

.nav_active
{
  font-weight: bold;
}

a
{
  color: #B00000;
  text-decoration:none;
}

nav a
{
  color: inherit;
}

a:hover
{
  color: #D00000;
}

nav a:hover
{
  color: #FFFFFF;
}

hr
{
  border-width: 1px;
  border-style: solid none none none;
  border-color: #B00000;
  margin-top: 2em;
  margin-bottom: 1.5em;
}

h2, h3, h4
{
  margin-top: .4em;
  margin-bottom: .4em;
  color: #B00000;
}

.ref_list
{
  list-style-type: none;
  margin: 0;
  padding: 0;
}

.reference
{
  padding-left: 12px;
  padding-bottom: 35px;
}

.reference_no_abstract
{
  padding-left: 12px;
  padding-bottom: 12px;
}

.ref_author
{
  font-variant: small-caps;
  color: #333333;
}

.ref_title
{
  font-style: italic;
}

.ref_journal
{
}

.ref_url
{
}

.abstract_block
{
  margin: 5px 10px;
  background-color: #e9e9e9;
}

.abstract_toggle,
.abstract_toggle *
{
  color: #666666;
}

.abstract_toggle:hover
{
  background-color: #dddddd;
}

.abstract_toggle
{
  font-size: 85%;
  padding: 1px 5px;
  margin-left: 3px;
  float: left;
  left: 30px;
}

.abstract
{
  margin: 0px;
  padding: 20px;
  border-left: 3px solid #d0aaaa;
}

/* allow toggling display of the abstract */
.reference .abstract,
.reference .toggle,
.reference .toggle_up
{
  display: none;
}
.reference .toggle:checked ~ .abstract_toggle .toggle_down
{
  display: none;
}
.reference .toggle:checked ~ .abstract_toggle .toggle_up
{
  display: inline;
}
.reference .toggle:checked ~ .abstract
{
  display: block;
}

/* Code blocks. */

pre {
	font-family: monospace;
	background: #2b2b2b;
	tab-size: 4;
	border-radius: 8px;
	overflow-x: auto;
    overflow-y: hidden;
    padding: 1ex;
}

code {
	border-radius: 5px;
	padding-left: 0.2ex;
	padding-right: 0.7ex;
	padding-top: 0.2ex;
	padding-bottom: 0.2ex;
	background: #2b2b2b;
	color: #fefefe;
}