/* AjS styles for html pages */

/* General styles: centered title and justified paragraphs */
h1		{ text-align: center; line-height: 130%;  }
h1.title	{ margin-top: 50px;   margin-bottom: 30px } 
p		{ text-align: justify; background-color: #ffe5b3 }
div		{ text-align: justify }
/* text and links are written in dark blue */
body 		{ background-color: #ffcc66; color: #4b0082 }
a:link 	 	{ color: #0000ff }
a:visited 	{ color: #4b0082 }
/* list items need vertical spacing */
li		{ margin-top: 5px } 
dt		{ margin-top: 10px; font-weight: bold } 
dd		{ margin-top: 5px; text-align: justify } 
/* some text has special color, alignement or size */
.warning	{ color: red }
.center		{ text-align: center }
.right		{ text-align: right }
.cquote		{ text-align: center; width: 80%; margin-left: 10% }
.small		{ font-size:  small }