BODY {
	background:	#EFEFEF;
	color:		black;
	font-family:	sans-serif;
	margin:		0em 0em 0em 13em;
	padding:	0.5em;
	text-align:	left;
}
H1, H2, H3, H4, H5, H6 {
	font-weight:	bold;
	text-align:	left;
}
H1 { margin: 0.6em 0em 0.6em 0em }
H2 { margin: 1em 0em 0.2em 0em }
H3 { margin: 1.2em 0em 0.6em 0em }
H4, H5 { margin: 1em 0em 0.1em 0em }
H6 { margin: 0em }
A:link { color: #003399 }
A:visited { color: #444444 }
A.intext:link { color: #003399; text-decoration: underline; }
A.intext:visited { color: #444444; text-decoration: underline; }
B { font-weight: bold }
DEL { color: #888888 }
TH, TD, TH.atleft, TD.atleft, DL, DL.buttons, DL.leftbuttons, DL.rightbuttons {
	vertical-align:	top;
	text-align:	left;
}
P.rightquote {
	text-align:	right;
	font-style:	italic;
}
TH, TD { padding: 0em 0em 0.2em 1.2em }
TH.atleft, TD.atleft{ padding: 0em 0em 0.2em 0em }
DT.header {
	margin-top:	1.5em;
	margin-bottom:	0.1em;
	font-weight:	bold;
}
ADDRESS{ 
  font-size: smaller;
  margin: 1.5em 0em 1em 0em;
}
IMG.fi { margin-left: 0px; border: none; width: 200px }
IMG.tu { margin-left: 35px; margin-top: 50px; bottom:0; border: none; width: 100px }

#inria-bottom, #ens-bottom {border: none;}
#ens-bottom {margin-left: 100px;}

IMG.logo { width: 100px; margin-left: 20px; border: none; }
DIV.logo {
  padding: 20px;
  background-color:white;
  border-radius: 4mm;
  position:fixed;
  top:          opx;
  bottom:               auto;
  left:		-10px;
  z-index:	5;
}

BODY { width: calc(100% - 15em)}
IMG.fi, IMG.tu { background: #EFEFEF; padding: 2px; }
DIV.fi, DIV.tu {
  position:fixed;
  top:		auto;
  bottom:		0px;
  border:		none;
  background:	none;
  height:		60px;
  width:		60px;
  left:6px;
}
DIV.tu {bottom: 100px; left:50px}


p {
  padding-left: 20px;
  text-align: justify;
}

hr.main {
  margin: 0;
  padding: 0;
  border-style:inset;
  width: 100%;
}

hr {
  border-style:solid;
  background:#ccc;
  height:1px;
  margin-top:10px;
  border-style:none;
  width: 75%;
}

table.fixed {
  table-layout: fixed;
  margin: auto;
  width: 75%;
  margin-bottom: 20px;
}

td.balanced {
  width: 33%;
  text-align: center;
}

/*************** TABS *********************************************************/
/* Style the list */
ul.tab {
    list-style-type: none;
    padding: 0;
    margin: 10px 0 0 0;
    overflow: hidden;
    border: 1px solid #ccc;
}

/* Float the list items side by side */
ul.tab li {float: left;}

/* Style the links inside the list items */
ul.tab li a {
    display: inline-block;
    color: black;
    text-align: center;
    padding: 8px 16px;
    text-decoration: none;
    transition: 0.3s;
    font-size: 17px;
}

/* Change background color of links on hover */
ul.tab li a:hover {background-color: #ddd;}

/* Create an active/current tablink class */
ul.tab li a:focus, .active {background-color: #ccc;}

/* Style the tab content */
.tabcontent {
    display: none;
    padding: 6px 12px;
    border: 1px solid #ccc;
    border-top: none;
}

.tabvisible {
    display: block;
}