body {
font-family:Times New Roman;
background-color:#f8f3f0;
max-width:98%;
}

/********************************/
/* start of styles in block.xsl */

.formalpara-title {
  font-weight: bold;
}

div.blockquote-title {
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: 1em;
}

span.msgmain-title {
  font-weight: bold;
}

span.msgsub-title {
  font-weight: bold;
}

span.msgrel-title {
  font-weight: bold;
}

div.msglevel, div.msgorig, div.msgaud {
  margin-top: 1em;
  margin-bottom: 1em;
}

span.msglevel-title, span.msgorig-title, span.msgaud-title {
  font-weight: bold;
}

div.msgexplan {
  margin-top: 1em;
  margin-bottom: 1em;
}

span.msgexplan-title {
  font-weight: bold;
}

div.sidebar {
  border: 0.5pt solid black;
  margin-top: 1em;
  margin-bottom: 1em;
  padding: 8px;
}

/* end of styles in block.xsl */
/********************************/

/********************************/
/* start of styles in autotoc.xsl */

/* top level entries */
nav>ol>li>a {
  margin-top: 1em;
  margin-bottom: 1em;
}


/* end of styles in autotoc.xsl */
/********************************/

/********************************/
/* start of styles in formal.xsl */

div.figure-title {
  font-weight: bold;
}

div.example-title {
  font-weight: bold;
}

div.equation-title {
  font-weight: bold;
}

div.table-title {
  font-weight: bold;
}

div.sidebar-title {
  font-weight: bold;
}


/* end of styles in formal.xsl */
/********************************/

/********************************/
/* start of styles in verbatim.xsl */

div.programlisting {
  white-space: pre-wrap;
  font-family: monospace;
}

div.screen {
  white-space: pre-wrap;
  font-family: monospace;
}

div.synopsis {
  white-space: pre-wrap;
  font-family: monospace;
}

/* end of styles in verbatim.xsl */
/********************************/

/********************************/
/* NAVIGATION */

nav ol {
list-style-type: none;
margin: 0 0 0 2em;
padding: 0 0 0 0;
}

nav ol li {
margin: 0 0 0 0;
padding: 0 0 0 0;
}

nav ol li a {
text-decoration: none;
color: black;
font-family: sans-serif;
}

#guide {
display: none;
}

h1, h2, h3, h4, h5, h6, h7, h8, h9 {
	margin: 0px;
	display: inline;
}

.book .titlepage .subtitle {
	display: block;
	margin: 1em 0;
}

section div.titlepage {
	margin: 0.83em 0px;
}

section div.titlepage div {
	display: inline;
}

section div.titlepage .subtitle {
	margin: 0 0 0 1em;
}

section div.titlepage .subtitle::before {
	content: " — ";
}

.smallcaps {
	font-variant: small-caps;
}
span.chapter {
	font-variant: small-caps;
}

body {
font-family:Times New Roman;
background-color:#f8f3f0;
max-width:98%;
}
p {
	line-height: 1.4em;
	font-size:1em;
	text-indent:1em;
}

.surname {
	font-variant: small-caps;
}

.author{color:crimson;} 
.citetitle{color:#008000;font-style:italic;} 
.edition{color:#32cd32;} 



.aut{color:crimson;} 
.art{color:#008080;}
.tit{color:#008000;font-style:italic;} 
.ed{color:#32cd32;} 
.an{color:#ba55d3;} 
.ss{color:#0000cd;} 
.ssc{color:#6495ed;font-variant:small-caps;font-weight:bolder;}
.ssv{color:#00bfff;font-size:80%;font-weight:bolder;}
.sbc{color:firebrick;font-variant:small-caps;font-weight:bolder;font-size:120%;}
.sbv{color:crimson;font-weight:bolder;} 
.sbi{color:gray;font-style:italic;}
.trsl{color:gray;font-style:italic;}
.otv{color:#800000;}
.och{color:#d2691e;font-variant:small-caps;font-weight:bolder;}


a:visited {
  color: blue;
 text-decoration:none;
}
a:link {
  color: blue;
 text-decoration:none;
}
.prec
	{
	text-align:center;}
.suite
	{margin-top:0.8em;
	text-align:center;}
a
{text-decoration:none;}