@charset "UTF-8";

body {
	font-family: Arial;
	font-size: 14pt;
}

body.dico {
	font-family: serif;
	font-size: 12pt;
}

code.md {
	background-color: #efefef;
}

code.placeholder {
	font-style: italic;
}

div.article {
	font-family: Verdana;
	font-size: 12pt;
	margin-left: 0.67cm;
	margin-right: 1.25cm;
	padding: 1em 4px 1em 4px;
}

div.article > p.title {
	font-weight: bold;
	margin-block-start: 0em;
	margin-block-end: 0em;
}

div.article > p.authors {
	font-style: italic;
	font-size: smaller;
	margin-block-start: 0em;
	margin-block-end: 0em;
}

div.article > p.metadata {
	font-size: smaller;
	color: #afafaf;
	margin-block-start: 0em;
	margin-block-end: 0em;
}

div.article > p.domains {
	font-size: smaller;
	margin-block-start: 0em;
	margin-block-end: 0em;
}

div.blockquote {
	margin-left: 2.5cm;
}

div.content {
	margin-left:0.67cm;
}

div.equation {
	display: inline-block;
	margin-left: 2.5cm;
}

div.excerpt {
	padding: 0.25cm;
	background-color: #ffffaf;
	border: 1px solid black;
	margin-left: 2.5cm;
}

div.error {
	padding: 0.25cm;
	background-color: #ffefef;
	color: red;
	border: 2px solid red;
	margin: 2.5cm;
}

div.footer {
	padding: 0.25;
	margin-left: 2.5cm;
	margin-right: 2.5cm;
}

div.footer > p {
	text-align: end;
	color: #cfcfcf;
	font-family: Verdana;
	font-size: smaller;
	font-style: italic;
}

div.formula {
	display: inline-block;
	margin-left: 2.5cm;
	margin-right: 1em;
	border: 1px solid black;
	padding: 0.5em;
}

div.formula-next {
	display: inline-block;
	margin-left: 1em;
	border: 1px solid black;
	padding: 0.5em;
}

div.picture {
	margin-left: 2cm;
}

div.picture > p {
	text-align: middle;
}

div.ref-abstract {
	margin-right: auto;
	margin-left: 0.67cm;
	width: 80%;
	padding: 5px 15px 5px 15px;
}

ol.steps {
	font-size: smaller;
	margin-left: 1.25cm;
}

ol.toc {
	list-style-type: upper-roman;
}

li.submenu {
	list-style: none;
}

ol.toc > ol {
	font-size: smaller;
}

ol.toc > li.appendix {
	list-style-type: upper-alpha;
}

ol.toc > li > ol {
	font-size: smaller;
}

ol.toc > ol > ol {
	font-size: smaller;
	font-style: italic;
}

ol.toc > li > ol > li > ol {
	font-size: smaller;
	font-style: italic;
	list-style-type: lower-alpha;
}

ol.toc > ol > ol > ol {
	font-style: italic;
}

ol.toc > li > ol > li > ol > li > ol {
	font-style: italic;
}

dt {
	font-weight: bold;
}

h2,h3,h4 {
	color: #af0000;
}

h4 {
	font-style: italic;
	margin-left: 1.25cm;
}

h4.quote-title {
	color: #8f8f8f;
}

a:hover {
	text-decoration: none;
	color: #0000af;
}

a.ref {
	text-decoration: none;
	color: #8f0000;
}

p {
	margin-left: 1.25cm;
}

p.eq {
	margin-left: 2.5cm;
	margin-right: 2.5cm;
	width: 50%;
}

p.author {
	font-style: italic;
	text-align: end;
	margin-right: 2cm;
}

p.def {
	background-color: #efefff;
	margin-left: 2.5cm;
	margin-right: 4cm;
	border: 2px solid black;
	border-radius: 5px;
	padding: 5px 10px 5px 10px;
	font-size: larger;
}

ul,dl {
	margin-left: 1cm;
}

dl > dt {
	padding-top: 0.5cm;
}

table, td, th {
	border: 1px solid black;
	border-collapse: collapse;
	margin-left: 2cm;
}

table.book {
	border: 1px solid black;
	border-collapse: collapse;
	margin-left: 2cm;
	margin-right: 2cm;
}

td,th {
	padding: 4px 4px 4px 4px;
	font-family: Arial;
	font-size: 10px;
}

th {
	background-color: #dfefff;
	font-weight: bold;
}

p.tocref {
	text-align: end;
	font-size: smaller;
}

pre.code {
	font-family: courier new;
	background-color: #efefef;
	margin-left: 2.5cm;
	margin-right: 2.5cm;
	font-size: smaller;
	padding: 12px 10px 0px 10px;
}

pre.inline {
	font-family: courier new;
	margin-left: 2.5cm;
	font-size: smaller;
}

span.menu, span.window, span.button, span.folder, span.section, span.link {
	font-weight: bold;
}

span.domain {
	color: green;
}

span.property {
	font-style: italic;
}

span.book-title {
	font-size: larger;
	font-weight: bold;
}

div.book-title {
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 0px;
} 

div.book-title > p.book-title {
	font-family: Verdana;
	font-size: 14px;
	font-weight: bold;
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 0px;
}

div.book-title > p.book-subtitle {
	font-family: Verdana;
	font-size: 12px;
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 0px;
}

div.book-authors {
	margin: 0px 0px 0px 0px;
	padding: 10px 0px 0px 0px;
}

div.book-metadata {
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 0px;
}

div.single-book {
	margin-left: 1.25cm;
	border: 1px solid black;
	background-color: #f8f8f8;
	padding: 10px;
}

span.book-metadata {
	color: grey;
	font-style: italic;
}

span.error {
	color: red;
}