/*	CSS for the COMP1710 lecture notes	*/

a.level1 {
font-weight: bold; }

/*	By Pascal Vuylsteker : pvk@vuylsteker.net						*/

/*	*****************************						*/
/*	General layout of the menus						*/

body {
padding: 1em;
margin: 0em;
font-family: Verdana, Helvetica, Arial, sans-serif;
 }

.host {  color: #CC0000;
font-family: Verdana, Helvetica, Arial, sans-serif;
font-size: small;
font-weight: bold;
text-decoration: none;
background-color: #00979a;
padding-right: 0em;
padding-left: 0em;
height: 1.5em;
width: 10em;
text-align: center; }

li.lecturepart {
position: absolute;
display: none;
top: +0.5em;
right: +3%;
bottom: inherit;
font-family: Verdana, Helvetica, Arial, sans-serif;
visibility: hidden; }

.menuup a { text-decoration: none; }
.menuup a:link {text-decoration: none; }
.menuup a:visited {text-decoration: none; }
.menuup a:over {text-decoration: none; }


ul.menuuphead {
border: 1px #000b65 solid;
padding-left: 0em;
margin: 0em;
height: 1em;
background-color: #c9feff; }

ul.menuupline {
border: 1px #001064 solid;
margin-top: -1px;
margin-right: 0em;
margin-left: 0em;
padding-left: 0em;
height: 0.1em;
background-color: #00fcff;
font-family: Times, "Times New Roman", serif;
}

ul.menuupline li {
display: block;
margin-left: 0em;
padding-left: 0em; }

li.contact {
width: 10%;
left: +0em;
position: absolute;
bottom: 0em;
visibility: hidden;
height: 0em; }

li.links {
width: 10%;
left: 10%;
position: absolute;
bottom: -0em;
visibility: hidden;
height: 0em; }

li.linknext {
display: block;
right: 0em;
bottom: -0em;
width: 35%;
position: absolute;
text-align: right;
overflow: hidden;
height: 1em; }

li.linkup {
display: inherit;
position: absolute;
bottom: -0em;
right: 35%;
width: 6%;
text-align: center;
overflow: hidden;
height: 1em; }

li.linkback {
display: inherit;
position: absolute;
bottom: -0em;
right: 41%;
width: 42%;
text-align: center;
overflow: hidden;
height: 1em; }

div.menuup {
position: relative;
top: 0em;
left: 0em;
right: 0em;
margin-top: -1em;
margin-right: -1em;
margin-left: -1em;
height: 1.1em; }

div.menudown {
position: relative;
bottom: -0em;
right: 0em;
left: 0em;
margin-right: -1em;
margin-left: -1em;
height: 1.2em; }





.menudown a { text-decoration: none; }
.menudown a:link {text-decoration: none; }
.menudown a:visited {text-decoration: none; }
.menudown a:over {text-decoration: none; }

ul.menuuphead li {
list-style-type: none;
display: block;
}

ul.menudownhead {
border: 2px #000b65 solid;
margin: 0em;
padding: 0em;
height: 1em;
background-color: #c6fdff; }

ul.menudownhead li {
border:  none;
margin: 0em;
list-style-type: none;
display: block;
}

ul.menudownline {
border: 1px #001064 solid;
margin-top: -1px;
margin-right: 0em;
margin-left: 0em;
height: 0.1em;
background-color: #00f9ff;
font-family: Times, "Times New Roman", serif; }

ul.menudownline li {
display: block;
}


div.footerblock {
				position: relative;
				height: 4em;
				width: 100%; }

ul.footer {
display: block;
padding: 0em;
height: 2em;
				position: absolute;
				width: 100%;
				bottom: 0em; }

ul.footer li {
list-style-type: none;
display: block;
margin: 0em; }

li.copyright {
width: 35%;
position: absolute;
left: 0em;
font-family: Times, "Times New Roman", serif;
font-size: small;
overflow: visible;
				bottom: +2em; }


li.date {
position: absolute;
left: 0%;
width: 30%;
text-align: center;
font-family: Times, "Times New Roman", serif;
font-size: small;
				bottom: 1em;
				overflow: visible;
				height: 1em; }






li.contextlink {
position: absolute;
left: 40%;
width: 25%;
text-align: center;
font-family: Times, "Times New Roman", serif;
				bottom: 1em;
				overflow: visible; }


li.comments {
position: absolute;
width: 30%;
text-align: center;
font-family: Times, "Times New Roman", serif;
				bottom: 1em;
				overflow: visible;
				left: 70%;
				font-size: medium; }


.copyrighttxt {
visibility: hidden; }



/*	*****************************						*/
/*	Content of the pages						*/
h1 {  font-family: Arial, Helvetica, sans-serif; color: #990000; background-color: #CCFFFF;
				text-align: center; }
h2 {  font-family: Arial, Helvetica, sans-serif; color: #990000; background-color: #CCFFFF;
margin-bottom: 0em; }
h3 {  padding-left: 30px; font-family: Arial, Helvetica, sans-serif;
}
h4 {  padding-left: 60px; font-family: Arial, Helvetica, sans-serif; 
padding-bottom: 0em; }
li h3 {
margin-left: -2em;
}
li h4 {
margin-left: -3em;
position: relative;
top: -1em;
margin-bottom: -1em; }
td h4 {
margin-left: -3em;
padding-top: 0em;
				padding-bottom: 0em;
				margin-bottom: -0em; }

td h3 {
margin-left: -1em;
padding-bottom: 0em; }

.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;
display: none; }
.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;
}


pre.htmlcode {
				font-size: xx-large; }


.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;
}

div.figure {
  border: thin black solid;
  margin: 1em 25%;
  padding: 0.25em 1em;
}

div.figure p {
  text-align: center;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}

div.figure object {
	height: 35em;
	width: 100%;
	border: thin dotted #FF0000;
	text-align: center;
	background-position: center;
}
img.scaled {
  width: 100%;
}
.container {
border: thin solid #000000;
	margin-right: 2em;
	margin-left: 2em;
	background-color: #FFCC66;
	margin-top: 1em;
	margin-bottom: 1em;
padding: 0.5em; }