body           { min-width : 40em;
                 color: black; background: #F0F0F4 }

/* PPS logo */
.pps           { float:right;
                 font-size: small; text-align: center }
.pps img       { border:0 }
.pps .text     { color: black; background: #F0F0F4 }


/* My picture */
.photo      { float: left; width: 12em;
              border: solid thin black; margin: 0 1em 1em 1em }


/* Titles */
.title         { text-align: center }
h1             { padding-top: 0.2em }
h1 span        { padding: 0.2em;
                 color: black; background: white;
                 border: solid thin #E0E0E0 }

/* Titles */
h2             { clear: both; font-family: sans-serif }

/* Colored lists */
.cl > dd         { margin-left : 8em; margin-top: 0.2em; margin-bottom: 1em }
.cl > dt         { margin-top: 3px; padding: 0.2em }
.cl > dt a,
.cl > dt span    { padding: 0.2em;
                 font: bold 1em sans-serif;
                 text-decoration: none;
                 color:#FFFFD0; background:#60A030 }
.cl > dt a:hover { color:#005000; background: #FFFFB0 }


/* Links to validators */
.validated     { margin-top: 5em; text-align: right }
.validated img { border:0; width: 88px; height: 31px }

/******** COQ ***********/

.keyword { font-weight : bold ; color : Red }
.keywordsign { color : #C04600 }
.comment { color : Green }
.constructor { color : Blue }
.string { color : Maroon }
.warning { color : Red ; font-weight : bold }