@import url(default.css);
@import url(title.css);
@import url(menu.css);

.keyword {color: green;
          font-weight: bold
         }
.comment {color: maroon;
          font-style: italic
         }
div.corps {
 position:absolute;
 padding-top:5%;
 padding-left:2%;
 left:27%;
 top: 22%;
 height: auto;
 line-height: 110%;
 width: 55%;
}
html, body {height: 100%;}

span.top {
float: bottom;
}

div.corps-image {
 position:absolute;
 padding-top:5%;
 padding-left:2%;
 left:20%;
 top: 28%;
 height: auto;
 line-height: 110%;
 width: 50%;
}

a.corps:visited, a.corps:link {
 color: #8B0000;
 font-style: italic;
/*
 color: black;
*/
}

span.num-lines {
 position:float;
 float: right;
 font-size: 70%; 
 margin: 0%;
}


/* border-style : solid; */
/* display: inline; */
/* border-left: solid black; */
/* border-width: thin; */
/* border-top: solid black thin; */
/*        margin-right: 0%; */
/*        border-right: solid black; */

.code {color: red;
      font-family: sans-serif, monospace;
      font-size: 85%;
}

h4 {padding-top: 0%;
padding-bottom: 0%;
margin-top: 1%;
margin-bottom: 1%;
}

body {
	line-height: 1;
        color: black;
        background-color: #FFE4C4;
/*
        background-color: #FFA07A;
        background-color: white;
        background-color: #7FFFD4;
        background-color: #AFEEEE;
*/
}

h4.andjee {
 margin-top: 10px;
}
h5.andjee {
 margin-bottom: 0px;
}

div.top {
float:right;
margin-top: 3%;
padding-right: 0%;

}

div.top > a {
 font-style: italic;
 color: red;
}

div.corps > ul {
 margin-top: 2px;
}

div.corps a {
 color: #8B0000;
 font-style: italic;
}

span.code {
 color: #8B0000;
}