/*
;; File:       screen.css
;; Maintainer: Sylvain Guilley, <sylvain.guilley@TELECOM-ParisTech.fr>
;; Note:       Inspired from that of FDTC (http://conferenze.dei.polimi.it/FDTC12/index.html),
;;             written by Marc Joye.
;; Note:       check with http://jigsaw.w3.org/css-validator/
*/

body{font-family: Verdana, Arial sans-serif;}

h1 { text-align: center; font-size: 24px;}
h2 { text-align: left;   font-size: 20px;}
h3 { text-align: left;   font-size: 16px;}

#copyright {
	font-size: 9px;
	font-style:italic;
	color: #888;
}
#copyright a:link    {color:#888; text-decoration:none;      } /*  unvisited link */
#copyright a:visited {color:#888; text-decoration:none;      } /*    visited link */
#copyright a:hover   {color:#888; text-decoration:underline; } /* mouse over link */
#copyright a:active  {color:#888; text-decoration:underline; } /*   selected link */ 

/*
html, body {
  margin:0; padding:0; border:0; width:100%; height:100%;}
body {
  width: 774px;
  border-top: 3px solid #555;
  font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; 
  font-size:13px; background-color: #fff;}
.spacer {margin-top: 28px;}
.affil{padding-left: 8px;color: #444; font-size: 12px; font-style: italic;}
strong{font-weight: bold; color: red;}
em{font-style: normal; color: red;}
a:active, a:focus {outline: none;}
h1 {
  padding: 6px 0 6px 0; margin-bottom: 30px;
  border-bottom: 2px solid #666;
  text-align: center; font-size: 18px;}
h2 {width: 40%; border: solid #222; border-width: 0 3px 1px 0;
  padding: 1px 0 2px 19px; text-align: left; margin: 30px 0 15px 0; 
  font-size: 14px; font-weight: bold; line-height: 19px;}
h3 {text-align: left; margin: 20px 0 5px 10px; padding: 0; 
  font-size: 13px; font-weight: bold; line-height: 16px;}
h4 {text-align: center; margin-bottom: 30px; padding: 0;
  font-size: 13px; font-weight: bold; line-height: 16px;}
table {padding-left: 15px;border-style: none;}
ul li {padding-bottom: 4px;}
.nobullet ul {padding-left: 15px; list-style-type:none;}
p {padding: 0 5px;}
.printonly {display: none;}
table.fullwidth {width: 100%;}
#cfp-pdf, #map-pdf {
  font-size: smaller; font-style: italic;}
#cfp-pdf {text-align: right;}
#cfp-pdf a, #map-pdf a  {font-style: normal; text-decoration: none;}
#cfp-pdf a:hover, #map-pdf a:hover {
  font-style: normal; text-decoration: underline;}
#program tr .stime {padding-right: 2em; text-align: right; 
  vertical-align: top; width:25%;}
#program th {background: #ececec; color: #040404;
  font-size: larger; font-weight: bold; font-style: italic;
  text-align: center;}
#program .spacer {margin-top:0pt; font-size:2pt;}
#program .schair {text-align:right; font-size: x-small; 
  font-weight: normal; background: #ececec;}
*/
#diapo {text-align: center; margin-bottom: 30px;}
#diapo a img {
  border: none; text-decoration: none;
  vertical-align: middle;}
#main {
	background-color: #fcfcfc;
	/* bottom: see footer */
	border-top:   1px solid #ccc;
	border-right: 1px solid #ccc;
	border-left:  1px solid #ccc;
	/* top, right, bottom, left */
	margin: 10px 20px 0px 215px;
	width: 800px;
	padding: 10px;
	min-height: 480px;
	height:auto !important;
	height: 480px;
}
html>body #main { 
	font-family: Verdana, Arial sans-serif;
  height: auto;}

#main a:hover  {background-color:#ccc;}
#main a:active {background-color:#888;}
/* TODO: how not to have these two in #copyright ? */
 
#footer {
  clear: both; margin-bottom: 1px;
  /* Width = width + 2*padding + border-left + border-right */
  width: 822px; margin-left: 215px; border-top: 1px solid #ccc;
  font-size: 11px; font-weight: bold; color: #888; text-align: center;}

#proofs_title {
	font-family: Verdana, Arial sans-serif;
	font-size: 18px; font-weight: bold; color: #888; text-align: center;}

#proofs_menu {
	background-color: #fcfcfc;
	border: 1px solid #ccc;
	margin: 10px;
	width: 200px;
	float: left;
	position: fixed;
	top: 0px;
	left: 2px;
}

#proofs_menu ul {
	list-style: none;
	margin: 0;
	padding: 0;
} 

#proofs_menu li a {
	height: 32px;
	voice-family: "\"}\""; 
	voice-family: inherit;
	height: 24px;
	text-decoration: none;
} 

#proofs_menu li a:link, #proofs_menu li a:visited {
	color: #888;
	display: block;
	background: url(./proofs_menu.gif);
	padding: 8px 0 0 30px;
}

#proofs_menu li a:hover, #proofs_menu li a:active {
	color: #283A50;
	background: url(./proofs_menu.gif) 0 -32px;
	padding: 8px 0 0 30px;
}

/* Info-bulles for the article abstracts:
   http://creer-un-site.fr/creer-une-info-bulle-en-css-70.php */

a.info{
	position:relative;
	z-index:24;
	color:#000;
	text-decoration:none
}
 
a.info:hover{
	z-index:25;
	background-color:#FFF
}
 
a.info span{
	display: none
}
 
a.info:hover span{
	display:block;
	position:absolute;
	bottom:2em; left:2em; width:700px;
	border:1px solid #000;
	background-color:#FFF;
	color:#000;
	text-align:justify;
	font-weight:none;
	font-size:small;
	padding:5px;
}