/*	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: medium;
font-weight: bold;
text-decoration: none;
background-color: #00979a;
padding-right: 1em;
padding-left: 1em;
padding-top: 0.5em;
padding-bottom: 0.5em;
height: 1em;
width: 10em;
text-align: center; }

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

.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: 2px #000b65 solid;
padding-left: 0em;
margin: 0em;
height: 2em;
background-color: #c9feff; }

ul.menuupline {
border: 1px #001064 solid;
margin-top: -1px;
margin-right: 0em;
margin-left: 0em;
padding-left: 0em;
height: 1.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: 9%;
left: +0em;
position: absolute;
bottom: 0em;
overflow: hidden;
height: 1em; }

li.links {
width: 7%;
left: 9%;
position: absolute;
bottom: -0em;
height: 1em;
overflow: hidden; }

li.linknext {
display: inherit;
right: 0em;
bottom: -0em;
width: 34%;
position: absolute;
text-align: right;
height: 1em;
overflow: visible; }

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

li.linkback {
display: inherit;
position: absolute;
bottom: -0em;
left: 16%;
text-align: center;
width: 44%;
overflow: visible;
height: 1em; }

div.menuup {
position: relative;
top: 0px;
left: 0px;
right: 0px;
margin-top: -0.95em;
margin-left: -0.95em;
height: 3.3em;
margin-right: -0.95em; }

div.menudown {
position: relative;
bottom: -0em;
right: 0px;
left: 0px;
margin-right: -0.95em;
margin-left: -0.95em;
height: 3.4em; }

.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: 2em;
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: 1.2em;
background-color: #00f9ff;
font-family: Times, "Times New Roman", serif; }

ul.menudownline li {
display: block;
}


div.footerblock {
				position: relative;
				width: 100%;
				height: 3.5em;
				bottom: 0em;
				}



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: 40%;
clear: right;
position: absolute;
left: 0em;
top: 0em;
font-family: Times, "Times New Roman", serif;
font-size: small; }


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






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


li.comments {
position: absolute;
top: 0em;
width: 25%;
text-align: center;
font-family: Times, "Times New Roman", serif;
				font-size: small;
				left: 70%; }


/*	*****************************						*/
/*	Content of the pages						*/


h1 {  font-family: Arial, Helvetica, sans-serif; color: #800000; text-align: center; }
h2 {  font-family: Arial, Helvetica, sans-serif; color: #800000; }
h3 {  padding-left: 30px; font-family: Arial, Helvetica, sans-serif; border-color: #CCFFFF; border-bottom-width: thin}

li h3 {
margin-left: -2em;
}
li h4 {
margin-left: -3em; }
td h4 {
margin-left: -3em; }
h4 {  padding-left: 60px; font-family: Arial, Helvetica, sans-serif; border-color: #CCFFFF; border-bottom-width: thin}

.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; }
.lecturetexte {  text-indent: 20pt; margin-left: 20px; color: #000033}
.javacode {  color: #000099; background-color: #FFFF00; font-family: "Courier New", Courier, mono; font-size: medium; font-weight: bold}
.javacodeNew { color: #0000FF; background-color: #FFCC00; font-family: "Courier New", Courier, mono; font-size: medium; 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: medium; font-weight: normal; text-align: center}
.mathNonCenter { color: #000033; background-color: #FFFF99; font-family: "Courier New", Courier, mono; font-size: medium; font-weight: normal}
.redBox { border: medium solid #FF0000;}
.surligne { 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: medium;
	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: medium;
	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; }