/* My CSS 
 *
 * green version:
 * light green: #5a885a
 * green
 * menu orange: #fcad3f;
 * light yellow back: #ffffce
*/

/* the background is at the back of all layers. It is gray */
body {
     font-family: Arial, verdana, sans-serif;
     font-size: 12px;
     background-color: #333333; 
     color: white;
}

/* use this to display a dark blue header. The color is set with the top left corner */
div.header {
       font-family: Tahoma, sans-serif;	   
       color: white;
       font-size: 250%;
       text-align: center;
       font-weight: bold;
       width: 1024px;
       margin-left: auto;
       margin-right: auto;
}

div.header div.tl {background: 0 0 no-repeat #01aef0; width: 1024px; }
div.header div.tr {background: 100% 0 no-repeat; padding:10px}

/* invisible link for the header */
div.header a {
  text-decoration: none;
  color: white;	  
}

/* this is the main menu - each entry with different color */
div.main_menu {
       font-family: Tahoma, sans-serif;	 	      
       background-color: #333333; /* #e86c89; medium pink */
       font-size: 120%;
       font-weight: bold;
       text-align: center;
       margin-left: auto;
       margin-right: auto;
       width: 1018px;
       padding: 4px 4px 4px 2px;
}


div.main_menu span.blue {
       background-color: #1748a4; /* dark blue */
       padding: 0px 2px 0px 2px;
}

div.main_menu span.violet {
       background-color: #8117a4;
       padding: 0px 2px 0px 2px;
}
div.main_menu span.yellow {
       background-color: #ebf30e;
       padding: 0px 2px 0px 2px;
}
div.main_menu span.orange {
       background-color: #f4a032; /* e53f04; ef7d1a; */
       padding: 0px 2px 0px 2px;
}
div.main_menu span.green {
       background-color: #12821c; 
       padding: 0px 2px 0px 2px;
}
div.main_menu span.lightblue {
       background-color: #97b7e8; 
       padding: 0px 2px 0px 2px;
}

div.main_menu span.brown {
       background-color: #883319; 
       padding: 0px 2px 0px 2px;
}


div.main_menu a {
       color: white;
       text-decoration: none;
}

div.main_menu a:hover {
  background-color: #01aef0;
  color: white;	     
}

div.main_menu span.yellow a {
	 color: #333333;     
}

div.main_menu span.yellow a:hover {
	 color: white;
         background-color: #01aef0
}



/* this is the flashy red box around the content */
div.body {
  background-color: #01aef0; 
  width: 1024px;
  margin-left: auto;
  margin-right: auto;
  padding: 6px 0px 0px 0px;
}

div.body div.left_menu {
  width: 160px;
  float: left;
  padding: 5px; 
  color: #f4d0d8; /* very pale pink */
}

div.body div.left_menu a {
  color: white;
  text-decoration: underline;
}

div.body div.left_menu a:hover {
  color: yellow;
}

/* the content is written in a pale yellow rounded box */
div.body div.content {
	 margin-left: 160px;
  	 margin-right: auto;
	 color: #333333;
	 padding: 0px 10px 10px 10px; 
	 text-align: justify;
}

div.body div.content div.bl {background: 0 100% no-repeat #f4f7fb}
div.body div.content div.br {background:  100% 100% no-repeat}
div.body div.content div.tl {background:  0 0 no-repeat}
div.body div.content div.tr {background: 100% 0 no-repeat; padding:10px}


/* use this to display the footer. Generally copyright information etc. 
   The color is set in the bottom corners */
div.footer {
       color: white;
       text-align: center;
       width: 1024px;
       margin-left: auto;
       margin-right: auto;
       font-size: 12px;
}


/* use this to display roundex boxes for dates */
.date {
      text-align: center;
      float: left;
      height: 50px;
      width: 46px;
      margin-right: 10px; /* this is the margin for the text next to the date */
      margin-bottom: 1px;
      border-color: #01aef0;
      border-style: solid;
      background-color: #333333; /* #e86c89; */
      color: white;
}

.date .year {
      font-size: 10px;
      position: relative;
      top: -9px;
}

.date .month {
      font-size: 14px;
      position: relative;
}

.date .day {
      font-size: 26px;
      font-weight: bold;
      position: relative;
      top: -4px;
}


/* general layout for headers in the content */
h1 {
   font-family: Tahoma, sans-serif;	 
   color: #01aef0;
}

h2 {
    margin-top: 30px;
   font-family: Tahoma, sans-serif;
   color: #01aef0;	 
}

h3 {
    margin-top: 15px;
   font-family: Tahoma, sans-serif;
   color: #01aef0;	 
}

h4 {
    margin-top: 10px;
   font-family: Tahoma, sans-serif;
   color: #01aef0;	 
}



/* general layout for links in the content */
a {
  color: #333333; 
  font-weight: bold;
  text-decoration: underline overline;	
}

span.discret a {
  color: blue;
  text-decoration: underline;	  
}

span.discret a:hover {
  color:red;
}

a:hover {
  color: blue;
  text-decoration: underline overline;	
}

pre {
     border-style: dashed;
     border-width: 1px;
     border-color: #01aef0;
     margin: 6px 2px 6px 2px;
     padding: 2px 2px 2px 2px;
     background-color: white;
     display: block;
     color: #01aef0;
}

soluce {
    border-style: dashed;
     border-width: 1px;
     border-color: red;
     margin: 6px 2px 6px 2px;
     padding: 2px 2px 2px 2px;
     background-color: lightgrey;
     display: block;
     color: #black;
}

hr {
   color: #dd0035;
   height: 2px;
   width: 95%;
}

/* blue tables, with blue header, blue dotted lines */
#redtable {
   border:3px solid #0&aef0;
   border-collapse:collapse;
   margin:auto;
}
#redtable tbody {
  background-color: white;
  border:1px solid #dd0035;
}
#redtable th {
  border:1px dotted #01aef0;
  background-color: #e86c89; /* light blue */
  color: white;
  padding: 5px;
}
#redtable td {
  font-size:80%;
  border:1px dotted #01aef0;
  padding:5px;
  text-align:left;
  color: #c40835;
}



#bluetable {
   border:3px solid #01aef0;
   border-collapse:collapse;
   margin:auto;
}

#bluetable tbody {
  background-color: white;
  border:2px solid #01aef0;
}

#bluetable th {
  border:2px dotted #01aef0;
  background-color: #c8e5f0; /* light blue */
  color: #01aef0;
  padding: 5px;
}

#bluetable td {
  font-size:80%;
  border:2px dotted #01aef0;
  padding:5px;
  text-align:left;
  color: #333333;
}

#bluetableleft {
   border:3px solid #01aef0;
   border-collapse:collapse;
   margin:10px;
}

#bluetableleft tbody {
  background-color: white;
  border:2px solid #01aef0;
}

#bluetableleft th {
  border:2px dotted #01aef0;
  background-color: #c8e5f0; /* light blue */
  color: #01aef0;
  padding: 5px;
}

#bluetableleft td {
  font-size:80%;
  border:2px dotted #01aef0;
  padding:5px;
  text-align:left;
  color: #333333;
}


#redtable td:hover {
  background-color: yellow;
  color: red;
}


caption {
  caption-side: bottom;
  font-size: 90%;
}

/* a table for horizontal layout with no vertical separator */
#horizontal {
  background: white;
  margin: auto;
  border-collapse: collapse;
}

#horizontal tr {
  background-color: #eca8a8; /* light red */
  border-bottom: 2px dotted #dd0035;
  font-size: 80%;
}

#horizontal td {
  padding: 5px;	 
}

#horizontal tr.green {
  background-color: #b9dcb9; /* light green */
  color: #2d662f;
}

#horizontal tr.lightblue {
  background-color: #97b7e8;  /* light green */
  color: #2d662f;
}

#horizontal tr.white {
  background-color: #ffffff; 
  color: #2d662f;
}



#horizontal tr:hover {
  background-color: #97b4ef; 	   
  color: red;
}


/* an "invisible" table */
#invisible {
  margin: auto;
  padding: 5px;
  border: none;
  font-family: Arial, verdana, sans-serif;
  font-size: 100%;
}	   

div.summary {
  background: #eacad1; /* very light red */
  color: #01aef0; /* dark blue */
  border-bottom: 2px dotted #01aef0;  	
  border-top: 2px dotted #01aef0;  	
  padding: 2px 2px 2px 4px;
}

 /* Tooltip container */
.tooltip {
  position: relative;
  display: inline-block;
  border-bottom: 1px dotted black; /* If you want dots under the hoverable text */
}

/* Tooltip text */
.tooltip .tooltiptext {
  visibility: hidden;
  width: 200px;
  background-color: #555;
  color: #fff;
  text-align: left;
  padding: 5px 5px 5px 5px;
  border-radius: 6px;

  /* Position the tooltip text */
  position: absolute;
  z-index: 1;
  bottom: 125%;
  left: 50%;
  margin-left: -60px;

  /* Fade in tooltip */
  opacity: 0;
  transition: opacity 0.3s;
}

/* Tooltip arrow */
.tooltip .tooltiptext::after {
  content: "";
  position: absolute;
  top: 100%;
  left: 50%;
  margin-left: -5px;
  border-width: 5px;
  border-style: solid;
  border-color: #555 transparent transparent transparent;
}

/* Show the tooltip text when you mouse over the tooltip container */
.tooltip:hover .tooltiptext {
  visibility: visible;
  opacity: 1;
}


.tooltiplong {
  position: relative;
  display: inline-block;
  border-bottom: 1px dotted black; /* If you want dots under the hoverable text */
}

/* Tooltip text */
.tooltiplong .tooltiptextlong {
  visibility: hidden;
  width: 600px;
  background-color: #555;
  color: #fff;
  text-align: center;
  padding: 5px 0;
  border-radius: 6px;

  /* Position the tooltip text */
  position: absolute;
  z-index: 1;
  bottom: 125%;
  left: 50%;
  margin-left: -60px;

  /* Fade in tooltip */
  opacity: 0;
  transition: opacity 0.3s;
}

/* Tooltip arrow */
.tooltiplong .tooltiptext::after {
  content: "";
  position: absolute;
  top: 100%;
  left: 50%;
  margin-left: -5px;
  border-width: 5px;
  border-style: solid;
  border-color: #555 transparent transparent transparent;
}

/* Show the tooltip text when you mouse over the tooltip container */
.tooltiplong:hover .tooltiptextlong {
  visibility: visible;
  opacity: 1;
}