/* Code responsible for keeping footer at the bottom of the page */

html, body
{
   height: 100%;
   margin: 0;
   position: relative;
   font-size: 100%;
}


#nonFooter
{
   position: relative;
   min-height: 100%;
}

* html #nonFooter
{
   height: 100%;
}

#content
{
   padding-bottom: 40px;
}

#footer
{
   position: relative;
   margin: -40px auto 0 auto;
   background: yellow;
} 
/* A CSS hack that only applies to IE -- specifies a different height for the footer */

* html #footer
{
   margin-top: -40px;
}

/*******************/
/* Code for menus */

/* background */
#boxMenu1{
   background-color: rgb(230,230,230);
   margin-top: 50px;
   margin-left: 30px;
   height: 50px;
   width: 150px;
}

#boxMenu2{
   background-color: rgb(220,220,220);
   margin-top: -50px;
   margin-left: 240px;
   height: 50px;
   width: 150px;
}

#boxMenu3{
   background-color: rgb(220,220,220);
   margin-top: -50px;
   margin-left: 450px;
   height: 50px;
   width: 150px;
}

#boxMenu4{
   background-color: rgb(220,220,220);
   margin-top: -50px;
   margin-left: 650px;
   height: 50px;
   width: 150px;
}

/* Links */
ul.menu, .menu li{ /* using a list for menu */
   list-style-type: none;  /* cleaning up the list */
   margin:0;
   padding:0;
}

ul.menu{
   position: relative; /* positionning for IE5 et IE5.5 */
   margin-left: 0px;
   margin-top: 0px;
}

.menu li{
   display: inline; /* correction for IE5 et IE5.5 */
}

.menu li a{ /* buttons dimensions and definition */
   position: relative;
   display: block;  /* block for <a> to give it its dimensions */
   height: 100%;
   width: 100%;
   line-height: 50px;  /* height of line to avoiding paddings */
   color: #fff;
   font-size: 16px;
   font-family: georgia, serif;
   padding: 0 0 0 0px;
   left: -10px;
   top: -10px;
   padding-top: 0px;
   text-decoration: none;
   text-align: center;
   background: rgb(0,0,220); /* general background for the menu */
}

.menu li a:hover   {
   color: #43271B;
   color: #ffc;
   background: rgb(0,0,160); /* general background for the menu */
   left: -5px;
   top: -5px;
   padding-top: 0px;
   font-weight: bold;
}

.menu li.active{
   position: relative;
   display: block;  /* block for <a> to give it its dimensions */
   height: 100%;
   width: 100%;
   line-height: 50px;  /* height of line to avoiding paddings */
   color: #fff;
   font-size: 16px;
   font-family: georgia, serif;
   padding: 0 0 0 0px;
   text-decoration: none;
   text-align: center;
   background: rgb(0,0,220); /* general background for the menu */
   color: #43271B;
   color: #ffc;
   left: -5px;
   top: -5px;
   padding-top: 0px;
   font-weight: bold;
}

/* Formatting content of the page */

.box1{
   background-color: rgb(240,240,240);
   margin-top: 50px;
   margin-left: 50px;
   /*height: 120px; */
   width: 390px;
}

.box2{
   background-color: rgb(240,240,240);
   margin-top: 26px;
   margin-left: 50px;
   /* height: 100px; */
   width: 390px;
}

.box3{
   background-color: rgb(240,240,240);
   margin-top: 40px;
   margin-left: 50px;
   /* height: 100px; */
   width:530px;
}

.box4{
   background-color: rgb(240,240,240);
   margin-top: 40px;
   margin-left: 50px;
   /* height: 100px; */
   width: 680px;
}

.box5{
   background-color: rgb(240,240,240);
   margin-top: 40px;
   margin-left: 50px;
   width: 760px;
}

.boxX{
   position: relative;
   left: -10px;
   top: -10px;
   padding: 10px;
   color: #660033;
   background-color: rgb(245,245,245);
   /* height: 100px; */
   width: 370px;
   font-size: larger;
}

.boxX3, .boxX4, .boxX5{
   position: relative;
   left: -10px;
   top: -10px;
   padding: 10px;
   color: #660033;
   background-color: rgb(245,245,245);
   /* height: 100px; */
   width: 510px;
   font-size: larger;
}

.boxX4{
   width: 660px;
}

.boxX5{
   width: 740px;
}

/* Putting picture */
#pic{
   position: relative;
   left: 450px;
   top: -70px;
}

/* Formatting page elements: paragraphs, headings, colors... */

#titleBig{
   color: #660033;
   margin: 340px;
   font-family: verdana, sans-serif, tahoma;
   font-size: 26px;
   font-weight: normal;
}

#titleFoot{
   margin: 10px;
   font-style: italic;   
   font-size: 12px;
}

p{
   margin-left: 10px;
   margin-top: 5px;
   padding: 0px;
}

h2{
   padding: 0px;
   margin: 0px;
   color: #660033;
}

h3,h4{
   margin-bottom: 0px;
   color: #660033;
}

.e{
   font-style: italic;
   font-size: normal;
} 

.b{
   font-weight: bold;
   font-size: normal;
} 

.list li{
   margin: 0px;
   margin-left: -10px;
   margin-top: 5px;
   padding: 0px;  
   list-style-type: circle;  /* cleaning up the list */
}

a.mail{
   text-decoration: none;
   color: #000099;
}

a.h3{
   margin-left: 10px;
   font-size: smaller;
   text-decoration: none;
}

.abstract{
   margin-top: 5px;
   margin-bottom: 10px;
   margin-left: 25px;
   font-size: normal;
}
/***************************************************/
/*** *** *** *** *** *** *** *** *** *** *** *** ***/
/* Header */
#d1{ height:2px; background-color:rgb(60,60,60)}
#d2{ height:2px; background-color:rgb(64,64,64)}
#d3{ height:2px; background-color:rgb(68,68,68)}
#d4{ height:2px; background-color:rgb(72,72,72)}
#d5{ height:2px; background-color:rgb(76,76,76)}
#d6{ height:2px; background-color:rgb(80,80,80)}
#d7{ height:2px; background-color:rgb(84,84,84)}
#d8{ height:2px; background-color:rgb(88,88,88)}
#d9{ height:2px; background-color:rgb(92,92,92)}
#d10{ height:2px; background-color:rgb(96,96,96)}
#d11{ height:2px; background-color:rgb(100,100,100); font-size: 0px}
#d12{ height:2px; background-color:rgb(104,104,104); font-size: 0px}
#d13{ height:2px; background-color:rgb(108,108,108); font-size: 0px}
#d14{ height:2px; background-color:rgb(112,112,112); font-size: 0px}
#d15{ height:2px; background-color:rgb(116,116,116); font-size: 0px}
#d16{ height:2px; background-color:rgb(120,120,120); font-size: 0px}
#d17{ height:2px; background-color:rgb(124,124,124); font-size: 0px}
#d18{ height:2px; background-color:rgb(128,128,128); font-size: 0px}
#d19{ height:2px; background-color:rgb(132,132,132); font-size: 0px}
#d20{ height:2px; background-color:rgb(136,136,136); font-size: 0px}
#d21{ height:2px; background-color:rgb(140,140,140); font-size: 0px}
#d22{ height:2px; background-color:rgb(144,144,144); font-size: 0px}
#d23{ height:2px; background-color:rgb(148,148,148); font-size: 0px}
#d24{ height:2px; background-color:rgb(152,152,152); font-size: 0px}
#d25{ height:2px; background-color:rgb(156,156,156); font-size: 0px}
#d26{ height:2px; background-color:rgb(160,160,160); font-size: 0px}
#d27{ height:2px; background-color:rgb(164,164,164); font-size: 0px}
#d28{ height:2px; background-color:rgb(168,168,168); font-size: 0px}
#d29{ height:2px; background-color:rgb(172,172,172); font-size: 0px}
#d30{ height:2px; background-color:rgb(176,176,176); font-size: 0px}
#d31{ height:2px; background-color:rgb(180,180,180); font-size: 0px}
#d32{ height:2px; background-color:rgb(184,184,184); font-size: 0px}
#d33{ height:2px; background-color:rgb(188,188,188); font-size: 0px}
#d34{ height:2px; background-color:rgb(192,192,192); font-size: 0px}
#d35{ height:2px; background-color:rgb(196,196,196); font-size: 0px}
#d36{ height:2px; background-color:rgb(200,200,200); font-size: 0px}
#d37{ height:2px; background-color:rgb(204,204,204); font-size: 0px}
#d38{ height:2px; background-color:rgb(208,208,208); font-size: 0px}
#d39{ height:2px; background-color:rgb(212,212,212); font-size: 0px}
#d40{ height:2px; background-color:rgb(216,216,216); font-size: 0px}
#d41{ height:2px; background-color:rgb(220,220,220); font-size: 0px}
#d42{ height:2px; background-color:rgb(224,224,224); font-size: 0px}
#d43{ height:2px; background-color:rgb(228,228,228); font-size: 0px}
#d44{ height:2px; background-color:rgb(232,232,232); font-size: 0px}
#d45{ height:2px; background-color:rgb(236,236,236); font-size: 0px}
#d46{ height:2px; background-color:rgb(240,240,240); font-size: 0px}
#d47{ height:2px; background-color:rgb(244,244,244); font-size: 0px}
#d48{ height:2px; background-color:rgb(248,248,248); font-size: 0px}
#d49{ height:2px; background-color:rgb(252,252,252); font-size: 0px}
#d50{ height:2px; background-color:rgb(255,255,255); font-size: 0px}

/******************************************/
/* Table CV */
.table_cv{
   width: 735px;
   color: #660033;
   font-size: 17px;
   margin-left: 10px;
}
.right{
   text-align: right;
}
