/*
CSS Stylesheet for web page
(C) Jérôme Euzenat, 2008, 2012
$Id: style.css,v 1.2 2008/03/19 21:25:26 euzenat Exp euzenat $
*/

body {
    background-color: white; 
    font-size: 11pt; 
    /*font-family: "Lucida Grande", "Helvetica", "Arial", "Verdana", "Arial Narrow", "Courier";*/
    font: 16px Georgia, Times New Roman, Times, serif ;
    margin: 0 0 0 0;
    padding: 15px 15px 15px 15px;
}

h1 { font-size: 200%;
     font-style: italic;}
h2 { border-top: 1px solid #AAAAAA; 
     text-align: center;
     font-style: italic;
     font-size: 150%;}
h2tab { 
    border-top: 1px solid #AAAAAA; 
    text-align: right;
    font-weight: normal;
    font-style: italic;
    font-size: 100%; 
    padding-top: 0;
    padding-bottom: 1px; }

/* .section { visibility: hidden;  display: none;  } at opening time, closed */

button { background-color: #DDEEFF; border: #CCC 1px solid; }

.note { font-size:80%; }
.menu { text-align: center; }
.notice { border-top: 1px solid #AAAAAA; 
	  padding-top: 5px; 
	  font-size: 70%; }

a:link { color: #0074CA; text-decoration: none}
a[href]:hover, button:hover { color: #0074CA; text-decoration: none; background-color: #D3DBFE;}
a:visited { color: #0084E6; text-decoration: none}
.justification { font-family: Arial, Helvetica, sans-serif; font-size: 7pt; letter-spacing: normal; text-align: justify; word-spacing: normal ; font-style: normal; font-weight: normal; font-variant: normal; white-space: normal}
.right { text-align: right; border: 0; }

div.comicssans { display: none; }

/*.justification { font-family: "Comic Sans MS", "Arial Narrow", "Arial", "Helvetica", "sans-serif"; font-size: 7pt; letter-spacing: normal; text-align: justify; word-spacing: normal ; font-style: normal; font-weight: normal; font-variant: normal; white-space: normal}*/

/* Tabbed example */
div.tabbar {
  padding-top: 1em;		/* Some breathing space */
  position: relative;		/* Establish a containing block */
  line-height: 1;		/* Easier to calculate with */
  text-align: right;
}
div.tabbar > div {
  display: inline;		/* We want the buttons all on one line */
}
div.tabbar > div > a {
  color: black;			/* Looks more like a button than a link */
  /*background: #CCC;*/		/* Active tabs are light gray */
  padding: 0.2em;		/* Some breathing space */
  border: 0.1em outset #BBB;	/* Make it look like a button */
  font-style: italic;
  font-size: 150%; 
  border-bottom: 0.1em solid #CCC; /* Visually connect tab and tab body */
}
div.tabbar > div > a:hover, div.tabsec > div > a:hover {
    background-color: whitesmoke;
}
div.tabbar > div > div {
  /*background: #CCC;*/		/* Light gray */
  background: #FFF;
  left: 0; top: 1.3em;		/* The top needs some calculation... */
  bottom: 0; right: 0;		/* Other sides flush with containing block */
  overflow: auto;		/* Scroll bar if needed */
  padding: 0.3em;		/* Looks better */
  /*border: 0.1em outset #BBB*/	/* 3D look */
}
div.tabbar > div:not(:target) > div { /* Protect CSS1 & CSS2 browsers */
  position: absolute;		/* All these DIVs overlap */
}
div.tabbar > div:target > div, :target #default2 > div {
  position: absolute;		/* All these DIVs overlap */
}
div.tabbar :target {
  outline: none
}

/* Tabbed example */
div.tabsec {
  position: relative;		/* Establish a containing block */
  line-height: 1;		/* Easier to calculate with */
  padding-top: 8px;		/* Some breathing space */
  margin-top: 8px;		/* Some breathing space */
  border-top: 1px solid black;
}
div.tabsec > div {
  display: inline;		/* We want the buttons all on one line */
}
div.tabsec > div > a {
  color: black;			/* Looks more like a button than a link */
  padding: 0.2em;		/* Some breathing space */
  border: 0.1em outset #BBB;	/* Make it look like a button */
  font-style: italic;
  font-size: 150%; 
}
div.tabsec > div > div {
  /*background: #CCC;*/		/* Light gray */
  background: #FFF;
  left: 0; top: 1.3em;		/* The top needs some calculation... */
  bottom: 0; right: 0;		/* Other sides flush with containing block */
  overflow: auto;		/* Scroll bar if needed */
  padding: 0.3em;		/* Looks better */
  /*border: 0.1em outset #BBB*/	/* 3D look */
}
div.tabsec > div:not(:target) > div { /* Protect CSS1 & CSS2 browsers */
  position: absolute;		/* All these DIVs overlap */
}
div.tabsec > div:target > div, :target #default2 > div {
  position: absolute;		/* All these DIVs overlap */
}
div.tabsec :target {
  outline: none
}