html, body {
  height: 100%;
  margin: 0; 
}

html {
  background-image: url(img/line.png);
  background-repeat: repeat; 
}

div#global {
  position: relative;
  padding: auto;
  margin:  0 auto; 
  width:  100%;
  min-height: 100%;
  font-family: Times New Roman,Times,serif;
}

div#header {
  top: 0;
  padding: 20px 0px 0px 200px;
  background: #ddd url(img/m51.png) no-repeat;
  height: 80px;
  border-bottom: 4px solid #3a6aa5;
  text-align: left;
}

div#center {        
  background-repeat: repeat;
  margin: 0px;
  margin-left: 50px;
  border-left: solid 1px #3a6aa5;
  height: 100%;
  overflow: hidden;       
}

div.center {
  text-align: center;
  margin-left: 40px;
}

div#footer { 
  position: absolute;
  bottom:  0;
  padding: 0;
  margin:  0;
  width:  100%;
  background: #ddd;
  border-top: solid 2px #3a6aa5;
  font-size: smaller;
  text-align: left;
  color: #3a6aa5;
}

hr {
  background-color: #630101;
  margin: 20px 40px;
  height: 2px; 
}

div#header span.G {
  color: #3a6aa5; /* #780808; */ 
  font: italic normal 500 26pt arial,sans-serif ;
}

div.right {
  float: right;
  clear: both;
  display: block;
  margin-right: 30px;
  position: relative;
}

div#header h1 {	
  margin: 0px;        
}

div#header h2 {	
  font: italic normal 400 15pt arial,sans-serif ;
  margin: 0px 0px 0px 30px;        
}

div#header p {
  font: italic normal 400 11pt arial,sans-serif ;
  margin: 0px 0px 0px 130px;        
}


div#w3c {  
/*      position: absolute;  */
  width: auto; /* 100%; */
  margin: 10px;
  padding: 10px;
  bottom: 0;
}

div#menu {
  background-color: #ddd;
  padding: 10px;
  margin: 5px 10px 20px 15px;
  float: right; /* left; */
  border: solid 2px #3a6aa5;
}

div#menu h3 {
  padding-left: 10px;
  text-decoration: underline;
}

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

div#menu li a {
  display: block;
  height: 30px;
  line-height: 30px;
  background: url(img/fond_lien.png) no-repeat left top;
  padding-left: 5px;
  margin: 2px 0;
  border-bottom: 2px solid #3a6aa5;
  color: #3a6aa5;
  font-family: Arial,Helvetica,sans-serif;
  font-size: medium;
  font-style: normal;
  font-weight:500;
  text-decoration: none;
}

div#menu li a:hover {
  background-position: left bottom;
}

div.journal {
  margin: 10px 10px 20px 10px;
}

div.journal h1 {
  color: #3a6aa5;
  text-align: center;
}

div.journal h2 {
  margin: 10px 5px 5px 0px;
  text-decoration: underline;
  color: #3a6aa5;
}

div.journal h3 {
  margin: 10px 5px 0px 12px;
  text-decoration: underline;
  color: #306090;
}

div.journal h4 {
  margin: 10px 5px 0px 22px;
  color: #306090;
}

div.journal p {
  margin: 6px 20px 2px 0px;
  padding: 0px 0px 0px 25px;
  text-align: justify;
  text-indent: 10px;
}

div.journal ul {
  margin: 0 0 0 10px;
  text-align: justify;
  list-style-image: url("img/puce.gif");
}

div.journal li {
  padding: 0;
  margin:  0 0 2px 0;
  text-align: justify;
}

div.journal dfn {
  text-decoration: none;
  font-style: italic;
  font-weight: 400;
}

div.journal em {
  text-decoration: none;
  font-style: italic;
  font-weight: 600;
}

div.journal b {
  text-decoration: none;
  font-style: normal;
   font-weight: 600;
}

div.code {
  margin: 20px 10px 5px 15px;
  padding: 5px;
  background-color: #fdffc3;
  border-top: solid 1px #3a6aa5;
  border-bottom: solid 2px #630101;
  border-left: solid 1px #3a6aa5;
  border-right: solid 2px #630101;
  font-size: smaller;
  font-style: normal;
  font-weight: 500;
  text-decoration: none;
  font-family: Courier New,Courier,monospace;
}

div.note {
  margin: 20px 20px 5px 15px;
  padding: 5px;
  background-color: #ffd0d0;
/*  background-color: #fdffc3; */
  border-top: solid 1px #3a6aa5;
  border-bottom: solid 2px #630101;
  border-left: solid 1px #3a6aa5;
  border-right: solid 2px #630101;
  font-size: smaller;
  font-style: normal;
  font-weight: 500;
  text-decoration: none;
  font-family: Courier New,Courier,monospace;
}

div.task {
  clear: right;
  margin: 0px 15px 20px 5px;
  padding: 5px;
  background-color: #e0e0e0;
  border-top: solid 1px #c0b0b0;
  border-bottom: solid 1px #f0e0e0;
  border-left: solid 2px #630101;
  border-right: solid 1px #f0e0e0;
  font-size: 12px;
  font-style: normal;
  font-weight: 500;
  text-decoration: none;
  font-family: Courier New,Courier,monospace;
  text-indent: 4px;
}

div.task p {
  margin: 0px 0px 0px 0px;
}

div.task ul {
  margin: 0px 5px 0px 20px;
  padding: 0px;
}

div.breve {
  margin: 15px 5px 25px 5px;
  padding: 5px;
  background-color: #ffdfb4;
  border-top: solid 10px #630101;
  border-bottom: solid 2px #630101;
  border-left: solid 1px #630101;
  border-right: solid 2px #630101;
  font-size: smaller;
  font-style: normal;
  font-weight: 500;
  text-decoration: none;
  font-family: Courier New,Courier,monospace;
}

span.gris {
  font-style: italic;
  color: #888;
}