body { 
  background-color: #FFFFFF;
  font-family: Tahoma, Verdana, Arial, Helvetica;
}

A:link {
    COLOR: #0000DF;
    TEXT-DECORATION: none
}

A:visited {
    COLOR: #0000AF;
    TEXT-DECORATION: none
}

A:active {
    COLOR: #0000DF;
    TEXT-DECORATION: none
}

A:hover {
  TEXT-DECORATION: underline
}

/* Tables & standard texts */
p, td, li {
  font-size: 10pt;
  color: black;
}

/* Code examples */
pre, code {
   font-family:  Courier, Courier New, Monospace; 
   color: #000066;
   margin-top: .5em;
   margin-bottom: .5em; 
   padding: 4px 8px;
   cursor: text;
}


/* Chapters' captions */
h1 {
  font-size: 20pt;
  color: #006faf;
}

/* Small texts' captions */
h2 {
  font-size: 8pt;
  color: black;
}

/* Small captions */
h3 {
  font-size: 14pt;
  color: black;
}

/* Content's text */
h4 {
  font-size: 10pt;
  color: black;
}


/* Figure captions */
h5 {
  font-family: monospace;
  color: gray;
  font-size: 8pt;
}