body {
margin: 0;/* sans marges, la page sera collée aux bords */

font-family: verdana, arial, sans-serif; /* on définit la police de base dans la page */
font-size: 12px; /* on définit la taille de police de base dans la page */
background-color: #ffffff;
}


#global {
    margin-left: 0px;
    margin-right: 0px;
    width : 980px;
    text-align: center;
    min-width: 1000px;
}

#head {
position : absolute;
top : 10px;
left :40px;
width: 900px; 
height: 263px;
background-image: url('images/head_compiler.png');
}

#logo {
float: left;
margin-left:845px; 
margin-top: -260px;
border: 0;
}

#logo-faust {
float: left;
margin-left:0px; 
margin-top: 0px;
border: 0;
}


#edition {
position : absolute;
top: 290px;
left:185px;
background-image : url('images/edition.png');
background-repeat : no-repeat;
font-family: verdana, arial;
font-size: 110%;
text-align : center;
width : 753px;
height : 687px;
}

#edition h5 {
margin-top : 0px;
margin-bottom : 0px;
font-family : arial ;
font-style : normal;
font-weight: 500;
text-align: center;
font-size: 120%;
}

#compilation {
position : absolute;
top: 290px;
left:185px;
font-family: verdana, arial;
border-style: dashed; 
border-width:1px;
font-size: 110%;
text-align: center;
width : 740px;
height : 680px;
}

#navigation {
position : absolute;
top: 290px;
left:40px;
width : 124px;
height : 635px ;
background-image: url('images/navigation.png');
}

#cadre1 {
position : absolute;
left:29px;
top: 124px;
width : 80px;
height : 109px ;
z-index : 2;
border: 0;
}

#cadre2 {
position : absolute;
left:29px;
top: 239px;
width : 80px;
height : 109px ;
z-index : 2;
border: 0;
}

#cadre3 {
position : absolute;
left:4px;
top: 380px;
width : 80px;
height : 109px ;
z-index : 2;
border: 0;
}

#cadre4 {
position : absolute;
left:29px;
top: 518px;
width : 80px;
height : 109px ;
z-index : 2;
border: 0;
}

#img1 {
    position : absolute;
    left:36px;
    top: 147px;
    z-index : 1;
    width : 65px;
    height : 65px ;
    border: 0;
}

#img2 {
    position : absolute;
    left:36px;
    top: 262px;
    width : 65px;
    height : 65px ;
    z-index : 1;
    border: 0;
}

#img2a {
    position : absolute;
    left:80px;
    top: 250px;
    z-index : 1;
    width : 20px;
    height : 20px ;
    border: 0;
}

#img3 {
    display : none ;
    position : absolute;
    left:12px;
    top: 402px;
    z-index : 1;
    width : 65px;
    height : 65px ;
    border: 0;
}

#img32 {
    position : absolute;
    left:12px;
    top: 402px;
    z-index : 1;
    width : 65px;
    height : 65px ;
    border: 0;
}

#img3a {
    display : none ; 
    position : absolute;
    left:55px;
    top: 390px;
    z-index : 1;
    width : 20px;
    height : 20px ;
    border: 0;
}

#img3a2 {
    position : absolute;
    left:55px;
    top: 390px;
    z-index : 1;
    width : 20px;
    height : 20px ;
    border: 0;
}


#img4 {
    position : absolute;
    left:36px;
    top: 537px;
    z-index : 1;
    width : 65px;
    height : 65px ;
    border: 0;
}

#img4a {
    position : absolute;
    left:80px;
    top: 530px;
    z-index : 1;
    width : 20px;
    height : 20px ;
    border: 0;
}

#img5 {
    position : absolute;
    left:36px;
    top: 27px;
    z-index : 1;
    width : 65px;
    height : 65px ;
    border: 0;
}

#resume {
float : left;
margin-left : 10px ;
margin-top : 50px ;
margin-right : 10px;
text-align: left;
overflow : auto;
width : 440px;
min-width: 440px;
max-width: 440px;
max-height: 120px;
}

#resume h5 {
margin-top : 0px;
margin-bottom : 0px;
font-family : arial ;
font-style : normal;
font-weight: 500;
text-align: left;
font-size: 100%;
}

#options {
float : left;
margin-left : 80px ;
margin-top : 85px ;
margin-right : 10px;
text-align: left;
min-width: 200px;
max-width: 200px;
min-height: 120px;
max-height: 120px;
overflow : auto;
}

#code {
float : left;
margin-top : 30px;
margin-left : auto;
margin-right : auto;
margin-bottom : auto;
text-align: center;
width : 770px;
height : 400px;
max-width : 770px;
max-height : 400px;
}

#codeC-image {
position : absolute;
top: 292px;
left:185px;
width : 214px;
height : 49px;
background-image : url('images/codeC.png');
}

#exec-image {
position : absolute;
top: 292px;
left:185px;
width : 214px;
height : 49px;
background-image : url('images/executable.png');
}

#error-image {
position : absolute;
top: 292px;
left:185px;
width : 214px;
height : 49px;
background-image : url('images/error.png');
}

#resultat-file {
position : absolute ;
top: 290px;
left : 400px;
width : 525px;
text-align : center;
height : 50px;
max-height : 55px;
background-image : url('images/resultfile.png');
background-repeat : no-repeat;
}


#resultat-button {
margin-top : -25px;
margin-left : 200px;
}

#codeC {
position : absolute;
top: 350px;
left:185px;
border-style: dashed; 
border-width:1px;
text-align : left;
overflow : auto;
width : 740px;
min-height : 600px;
max-height : 600px;

}

#cadre_svg-title{
position : absolute;
top: 290px;
left:185px;
width : 220px;
height : 50px;
background-image : url('images/SVGtitle.png');
}

#cadre_svg{
position : absolute;
top: 345px;
left:185px;
border-style: dashed; 
border-width:1px;
text-align : center;
width : 740px;
min-height : 600px;
max-height : 600px;
}


a {
    text-decoration: none; /* définition du lien qui affichera le "calque" */
  }
a img {
  border : 0 ;
}
a:hover {
    background: none; /* correction d'un bug IE */
}
a span { /* définition de la balise <span> inclue dans <a> */
    display: none;
  }
a:hover span { /* définition de la balise <span> au survol */
    display: block;
    position: absolute;
    top : 210px;
    left: 340px;
    color : black;
    background-color: #FFCC99;
    opacity:.85;
    border: 1px solid #060C6F;
    width: 400px;
    z-index : 2;
}

body.hl	{ background-color:#FFFFFF; }
pre.hl	{ color:#000000; background-color:#FFFFFF; font-size:10pt; font-family:DejaVu Sans Mono, Courier;}
.num	{ color:#2928ff; }
.esc	{ color:#ff00ff; }
.str	{ color:#ff0000; }
.dstr	{ color:#818100; }
.slc	{ color:#838183; font-style:italic; }
.com	{ color:#838183; font-style:italic; }
.dir	{ color:#008200; }
.sym	{ color:#000000; }
.line	{ color:#555555; }
.kwa	{ color:#000000; font-weight:bold; }
.kwb	{ color:#830000; }
.kwc	{ color:#000000; font-weight:bold; }
.kwd	{ color:#010181; }