/* Cascading style sheet */
/* General appearance of a page */

/* Normal Pages */
BODY {
  margin:	5px;
  background:	white;
  color:	#0055cc;
  font-family:	"comic sans ms", helvetica, sans-serif;
  font-size:	14pt;
}

H1 { 
  margin-top: 	1em;
  margin-bottom:1em; 
  font-size: 	21pt;
  text-align: 	center; 
  font-weight: 	bold;
}

H2 {
  margin-top: 	0.5em;
  font-weight: 	bold;
}

/* Color of a standard page */
H1, H2, H3 { color: #00aaaa }

/* Links to different page types */
A:link { color: #00aaaa}
A:visited { color: #005555 }

A.out:link { color: #dd0000 }
A.out:visited { color: #aa0000 }

A.meta:link { color: #666666 }
A.meta:visited { color: #444444 }

/* Figures */
.figure {
  margin:	1em;
  padding:	0px;
  font-size:	10pt;
  text-align:	center;
}

/* The logo at the end of the page */
.logo {
  text-align:	center;
  font-size:	10pt;
  font-style:	italic;
}

/* FIXME-style */
.fixme {
  color:	red;
  font-style:	italic;
}