/* Claudio Tubertini*/


@font-face {
  font-family: "DejaVu Serif";
  font-style: normal;
  font-weight: normal;
  src: url(../fonts/DejaVuSerif.otf);
}

@font-face {
  font-family: "DejaVu Sans Mono";
  font-weight: normal;
  font-style: normal;
  src: url(../fonts/DejaVuSansMono.otf);
}
@page {
  margin-left: 10px;
  margin-right: 10px;
}



/* p margin */

p {
  margin-top: 10px;
  margin-bottom: 10px;
}
h1 h2 h3 h4 h5 h6 {
  margin: 10px;
}
/* inlines */

em {
  font-style: italic;
  font-family: serif;
}

strong {
  font-weight: bold;
  font-family: serif;
}

strong em, em strong, h1 em, h2 em, h3 em, h4 em {
  font-weight: bold;
  font-style: italic;
  font-family: serif;
}

code strong em, code em strong {
  font-weight: bold;
  font-style: italic;
  font-family: monospace;
}

.italic {
  font-style: italic;
}
.italics {
  font-style: italic;
}
code em, em code, pre em {
  font-family: monospace;
  font-style: italic;
}

code strong, strong code, pre strong {
  font-family: monospace;
  font-weight: bold;
}

code { 
  font-family: "DejaVu Sans Mono", monospace;
}

.underline { text-decoration: underline; }

/* --------- */
.boxedtext {
  border-style: solid;
  border-width: 1px;
  border-color: black;
  padding: 1px;
}

.gray50 {
  color: #7F7F7F; /* 50 % gray */
}



.gray-background {
  background: #2E2E2E;
  color: white;
}

/* headings */

h1, h2, h3, h4, h5, h6 {
  text-align: left;
  page-break-inside: avoid;
  page-break-after: avoid;
  font-weight: bold;
  display: block;
  font-family: sans-serif;
}

.title {
  font-family: sans-serif;
  font-weight: bold;
}

h1 {
  font-size: 1.5em;
  color: #000033;
}

h2 {
  font-size: 1.3em;
  color: #000080;
}

h3 {
  font-size: 1.1em;
  color: #00009C;
}

h4 {
  font-size: 1em;
  font-style: italic;
}

h5 {
  font-size: 1em;
  font-style: italic;
}

h6 {
  font-size: 1em;
  font-style: italic;
}

/* images  */

img {
   max-width: 100%;
   margin: auto;
}

.figure-contents {
  page-break-after: avoid;
  page-break-inside: avoid;
  padding-bottom: 0.10em;
}
  
.figure {
  background: #F5F5F5;
  page-break-inside: avoid;
  padding: 5px;
  text-align: center;
}

.figure .title {
  page-break-before: avoid;
  margin: 0;
  text-align: center;
  font-weight: normal;
  font-style: italic;
  font-family: serif;
}

/* sidebars */

.sidebar {
  border: solid black 1px;
  background-color: #F5F5F5;
  margin: 5px 5px 5px 5px;
  padding: 10px;
}

.sidebar > * {
  /*padding-left: 5px;
  padding-right: 5px;*/
  padding: 0px;
}

/*.sidebar > a { display: none; }*/

.sidebar table {
  margin: 3px;
}

/* code blocks */

pre {
  white-space: pre-wrap;
  font-family: "DejaVu Sans Mono", monospace;
  font-size: 85%;
  margin-left: 1.5em;
  margin-bottom: 10px;
}

/* title and copyright page */

.book .titlepage .title {
  font-size: 2em;
  text-align: center;
}

.author h3 {
  font-family: serif;
  font-size: 1.7em;
  font-style: italic;
  text-align: left;
}

.editor h3, .editor h4 { 
  color: black;
  margin: 10px 0 10px 0;
  font-weight: normal; 
  font-style: normal;
  font-size: 1em;
  font-family: serif;
 }

.dedication p { 
  text-align: center;
  font-style: italic;
}
.caption {
  font-size: smaller;  
}
.affiliation {
  margin-left: 3em;
  /*font-size: smaller;*/
}

/* epigraphs, blockquotes, attributions */

div[class="attribution"] {
  margin-left: 1.5em;
}

/*h3[class="author"] .orgname { display: none } /* to work around bug */

.orgname{
font-size: 100%;
}
.epigraph {
  width: 95%;
  margin: 10px 10px 10px 5px;
  page-break-inside: avoid;
  border: dotted black 1px;
  background-color: #F5F5F5;
}

.epigraph > * {
  padding-left: 5px;
  padding-right: 5px;
}

.blockquote {
  width: 95%;
  margin: 10px 10px 10px 10px;
  page-break-inside: avoid;
  background-color: #F5F5F5;
}

.blockquote td, .blockquote th {
  border: none;
}

/* refentries */

.refentry h2 {
  font-size: 1.1em;
  color: #000033;
}

.refnamediv p {
  margin-left: 1.5em;
}

/* lists */

dd {
  margin-left: 1.5em;
}

ol { 
  margin-left: 1em;
  padding-left: 1em;
  list-style-type: decimal;
}

ol ol {
  list-style-type: lower-alpha;
}

ol ol ol {
  list-style-type: lower-roman;
}

ul { 
  margin-left: 1em;
  padding-left: 1em;
  list-style: square outside;
}

ul ul { 
  list-style-type: disc;
}

ul ul ul { 
  list-style-type: circle;
}

.orderedlistalpha {
  list-style-type: upper-alpha;
}

.simplelist {
  margin-left: 1.5em;
  margin-top: 0;
}

.simplelist td {
  border: none;
  font-size: medium;
  padding: 0;
}

/* examples */

.example .title {
  font-weight: normal;
  font-style: italic;
  font-family: serif;
  page-break-after: avoid;
}

.example {  
  background-color: #F5F5F5;
}
 
 /* notes, tips, warnings */
 
.tip, .note {
  width: 95%;
  margin: 10px 10px 10px 5px;
  page-break-inside: avoid;
  border: dashed black 1px;
  background-color: #F5F5F5;
}

.warning, .caution {
  width: 95%;
  margin: 10px 10px 10px 5px;
  page-break-inside: avoid;
  border: double black 4px; 
  background-color: #F5F5F5;
}

dd .note, dd .tip, dd .warning, dd .caution {
  margin: 0.50em 0 0.50em 1.25em;
}

.tip > *, .warning > *, .note > *, .caution > * {
  padding-left: 5px;
  padding-right: 5px;
}

.note h3, .warning h3, .tip h3, .caution h3 {
  text-align: left !important;
  page-break-after: avoid;
}

.tip h3:after, .note h3:after {
  content: ' \270E';
}

.warning h3:after, .caution h3:after {
  content: ' \2620';
}

/* tables */

table {
  margin-top: 0.5em;
  max-width: 100%;
  border-collapse: collapse;
  border-spacing: 0;
}

th {
  color: black;
  background-color: #F5F5F5;
  border: black 1px solid;
  font-weight: bold;
  font-family: sans-serif;
  font-size: smaller;
  padding: 0.2em;
  margin: 0;
  text-align: left;
}

td  {
  border: black 1px solid;
  padding: 0.2em;
  margin: 0;
  border-spacing: 0;
  font-size: smaller;
}

.table .title {
  font-size: medium;
  font-weight: normal;
  font-style: italic;
  font-family: serif;
  page-break-after: avoid;
  margin-bottom: 0.50em;
}

table code {
  font-size: x-small;
}


/* syntax highlighting */

code.boolean {
  color: rgb(0,0,128); /* navy */
}
code.character {
  color: rgb(128,128,0); /* olive */
}
code.comment {
  color: rgb(0,0,255); /* blue */
}
code.conditional {
  color: rgb(50,205,50); /* limegreen */
}
code.constant {
  color: rgb(255,140,0); /* darkorange */
}
code.debug {
  color: rgb(139,0,0); /* darkred */
}
code.define {
  color: rgb(184,134,11); /* darkgoldenrod */
}
code.delimiter {
  color: rgb(105,105,105); /* dimgray */
}
code.error {
  color: rgb(255,0,0); /* red */
}
code.exception {
  color: rgb(250,128,11); /* salmon */
}
code.float {
  color: rgb(70,130,180); /* steelblue */
}
code.function {
  color: rgb(0,128,0); /* green */
}
code.identifier {
  color: rgb(65,105,225); /* royalblue */
}
code.ignore {
  color: rgb(128,128,128); /* gray */
}
code.include {
  color: rgb(128,0,128); /* purple */
}
code.keyword {
  color: rgb(160,82,45); /* sienna */
}
code.label {
  color: rgb(255,20,147); /* deeppink */
}
code.macro {
  color: rgb(255,69,0); /* orangered */
}
code.number {
  color: rgb(165,42,42); /* brown */
}
code.operator {
  color: black; /* black */
}
code.preCondit {
  color: rgb(0,128,128); /* teal */
}
code.preProc {
  color: rgb(255,0,255); /* fuscia */
}
code.repeat {
  color: rgb(75,0,130); /* indigo */
}
code.special {
  color: rgb(139,69,19); /* saddlebrown */
}
code.specialchar {
  color: rgb(255,0,255); /* magenta */
}
code.specialcomment {
  color: rgb(46,139,87); /* seagreen */
}
code.statement {
  color: rgb(34,139,34); /* forestgreen */
}
code.storageclass {
  color: rgb(221,160,221); /* plum */
}
code.string {
  color: rgb(139,0,0); /* darkred */
}
code.structure {
  color: rgb(210,106,30); /* chocolate */
}
code.tag {
  color: rgb(0,139,139); /* darkcyan */
}
code.todo {
  color: black; /* black */
}
code.type {
  color: rgb(123,104,238); /* mediumslateblue */
}
code.typedef {
  color: rgb(0,100,0); /* darkgreen */
}
code.underlined {
  text-decoration: underline; /* guess what */
}



/* keep this body statement last */

body {
  font-family: "DejaVu Serif", serif;
  
  text-align: left;
 
    display: table;
    margin: auto;
    margin-left:20px;

}