.nav {
	font-size:10pt;
	/*font-family :monospace*/
}

.sub-TOC {
	font-size:10pt;
/*	font-weight:600;
	text-decoration:none;
	font-family : verdana, Geneva, Arial, Helvetica, sans-serif;
	/*font-family: garamond, times, verdana, arial, helvetica, sans-serif;*/
}

.abstract {
  margin: 20px 110px 20px 110px;
}

body {
  margin: 2em 1em 2em 30px;
  /* marginwidth="30" */
  font-family: Arial, sans-serif;
  color: black;
  font-size:11pt;
}

:link { color: black; background: transparent }
:visited { color: #666666; background: transparent }
:active { color: red; background: transparent }

/*
  <CENTER><P><B><font color="#666666" face="Arial"><span style="font-size:12pt;">Jean-Pierre Malrieu
  <font face="Arial"><span style="font-size:11pt;">
*/

/* NS 4 bug */
th, td {
  font-family: sans-serif;
}

h1, h2, h3, h4, h5, h6 { text-align: left; }
	
h1, h2, h3 { background: transparent }
h1 { color: #666666; font: 170% sans-serif; letter-spacing = 3; }
h2 { font-weight: bold ; font-size: 16 ; }
h3 { font: small-caps 100% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }

pre { margin-left: 2em }

dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }

code {
     font-family: monospace 
}

code.regex {
   background: yellow;
}

pre { 
     font-family: monospace 
     margin:40px 40px 40px 40px;
	padding: 10px ;
	border: thin solid pink; 
	font-family: courier new, courier, mono;
	font-size:9pt;
	color:#006600
}