h1 {  font-family: Arial, Helvetica, sans-serif; color: #990000; background-color: #CCFFFF; clip:    rect(   )}
h2 {  font-family: Arial, Helvetica, sans-serif; color: #990000; background-color: #CCFFFF}
h3 {  padding-left: 30px; font-family: Arial, Helvetica, sans-serif; border-color: #CCFFFF; border-bottom-width: thin}
h4 {  padding-left: 60px; font-family: Arial, Helvetica, sans-serif; border-color: #CCFFFF; border-bottom-width: thin}
.titrevrarchitect {  color: #CC0000}
.lecturenotes { font-size: 1px; color: #FFFFFF; line-height: 1px; padding-top: 0px; margin-top: 0px; margin-bottom: 0px; padding-bottom: 0px; visibility: hidden}
.lecturenotesCopy { font-size: 1px; color: #FFFFFF; line-height: 1px; padding-top: 0px; margin-top: 0px; margin-bottom: 0px; padding-bottom: 0px; visibility: hidden}
.lecturetexte { font-size: 1px; color: #FFFFFF; line-height: 1px; padding-top: 0px; margin-top: 0px; margin-bottom: 0px; padding-bottom: 0px; visibility: hidden}
.javacode {  color: #000099; background-color: #FFFF00; font-family: "Courier New", Courier, mono; font-size: large; font-weight: bold}
.javacodeNew { color: #0000FF; background-color: #FFCC00; font-family: "Courier New", Courier, mono; font-size: large; font-weight: bold }
.indice {  vertical-align: sub}
.exposant {	vertical-align: super;	}
.math { color: #000033; background-color: #FFFF99; font-family: "Courier New", Courier, mono; font-size: large; font-weight: normal; text-align: center}
.mathNonCenter { color: #000033; background-color: #FFFF99; font-family: "Courier New", Courier, mono; font-size: large; font-weight: normal}
.redBox { border: medium solid #FF0000;}
.surligne { font-size: large; font-weight: bold; color: #CC0000; background-color: #FFFF66; }

a:link {color:#990000}
a:visited {color:#990000} 
a:hover {color:#FF0000}
a.h2:link {color:#990000}
a.h2:visited {color:#990000} 
a.h2:hover {color:#FF0000}

.htmlCode {
	font-family: "Courier New", Courier, mono;
	font-size: xx-large;
	color: #000066;
	background-color: #FFFF66;
	background-position: 30px;
	padding: 10px;
	margin-right: 30px;
	margin-left: 30px;
	border: medium solid #333333;
}

.htmlCodeNew {
	font-family: "Courier New", Courier, mono;
	font-size: xx-large;
	color: #000066;
	background-color: #FF9900;
	background-position: 30px;
	padding: 1px;
	border: thin solid #333333;
	left: 10px;
	top: 10px;
	right: 10px;
	bottom: 10px;
	margin: 0px;
	line-height: 1.5em;
}