body {
	background: #ffffcc;
	margin-left: 10%;
	margin-right: 10%;
	font-family: "skia", "nu sans", "verdana", "helvetica", "arial", "sans-serif";
	color: #000000;
}

h1 {
	font-size: 200%;
}

h2 {
	font-size: 150%;
}

div.menu {
	font-size: 110%;
	text-align: center;
}

p.submenu {
	font-size: 90%;
	text-align: center;
}


div.title {
	text-align: center;
}

div.text {
	padding-top: 1em;
	padding-bottom: 1em;
	padding-left: 1em;
	padding-right: 1em;
	background: #ffffe0;
	border-style: solid;
	border-width: 1px;
	width: 100%;
}

div.p {
	padding-bottom: 1em;
}

img.displayed {
    display: block;
    margin-left: auto;
    margin-right: auto }


div.formula {
	padding-top: .5em;
	padding-bottom: .5em;
        padding-left: 10%;
        padding-right: 10%;
        font-family: "courier";
        font-size: 80%;
        color: #ff0000;
}

code.formula {
        font-family: "courier";
        color: #ff0000;
        font-size: 80%;
}

a:link {
	color: #000099;
	text-decoration: none;
}

a:visited {
	color: #3399ff;
	text-decoration: none;
}

a:hover {
	color: #ffffe0;
	background: #000099;
}

a:visited:hover {
	color: #ffffe0;
	background: #3399ff;
}

a.menu {
	/*color: #000000;*/
	text-decoration: none;
	}

a.submenu {
	/*color: #000000;*/
	text-decoration: none;
	}

/*
a.menu:hover {
	color: #ffffe0;
	background: #000000;
}
*/

table.bottom { 
	background: #ffffcc; 
	font-size: 10px;
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	text-align: center;
}

span.menu_cur {
	color: #000000;
	font-weight: bold;
}

a.image:hover {
	background: #ffffe0;
}

div.announce {
	padding-top: 1em;
	padding-bottom: 1em;
	padding-left: 1em;
	padding-right: 1em;
	border-style: solid;
	border-width: 1px;
	border-color: #000000;
	background: #ffffe0;
	color: red;
/*	text-align: center; */
	width: 100%;
}


span.paper {
	color: #339999;
	font-variant: small-caps;
}

em {
	font-size: 0.9em;
}

/*
coqdoc style:
*/

.keyword { /* font-weight : bold */; color : #993300 }
.keywordsign { color : #C04600 }
/*
.superscript { font-size : 4 }
.subscript { font-size : 4 }
*/
.comment { color : Green }
.constructor { color : Blue }
.string { color : Maroon }
.warning { color : Red ; font-weight : bold }

.info { margin-left : 3em; margin-right : 3em }
.title1 { font-size : 20pt ; background-color : #416DFF }
.title2 { font-size : 20pt ; background-color : #418DFF }
.title3 { font-size : 20pt ; background-color : #41ADFF }
.title4 { font-size : 20pt ; background-color : #41CDFF }
.title5 { font-size : 20pt ; background-color : #41EDFF }
.title6 { font-size : 20pt ; background-color : #41FFFF }
.doc { font-family: "times new roman", serif; color : #009966; background-color : #ffffe0 /* same as div.text */ }