/*
@import url(ferrari-toc.css);
*/

body {
    background-color: #FCFCFC ;
    width: 80% ;
    max-width: 600pt ;
    min-width: 400px ;
    margin-left: 10% ;
    color: black ;
    font-size: 12pt ;
    font-family: 'Luxi Sans', Verdana, Geneva, Helvetica, Arial, sans-serif ;
}

h1 {
    color: #E80A03 ;
    margin-top: 40pt ;
    text-align: center ;
    font-weight: bold ;
    font-family: 'Courier 10 Pitch', Courier, 'New Courier', Monospace ;
    font-size: 22pt ;
    letter-spacing: 0.5 ;
}

h2 {
    margin-top: 30pt ;
    background: #E80A03 ;
    color: white ;
    padding-left: 10pt ;
    border: thin solid darkgrey ;
    font-weight: bold ;
    font-family: Courier, 'New Courier', Monospace ;
    font-variant: small-caps ;
    font-size: 20pt ;
    letter-spacing: 0.5 ;
}

h3 {
    background: #E80A03 ;
    color: white ;
    padding-left: 10pt ;
    border: thin solid darkgrey ;
    font-weight: bold ;
    font-family: Courier, 'New Courier', Monospace ;
    font-variant: small-caps ;
    font-size: 16pt ;
    letter-spacing: 0.5 ;
}

h4 {
    padding-left: 10pt ;
    border: thin solid #E80A03 ;
    font-weight: bold ;
    font-family: Courier, 'New Courier', Monospace ;
    font-variant: small-caps ;
    font-size: 16pt ;
    letter-spacing: 0.5 ;
}

img {
    border: none ;
    text-align: center ;
    margin-right: 5pt ;
    margin-bottom: 5pt ;
}

a {
    text-decoration: none ;
    color: #4A4A4A ;
}
a:hover {
    border: thin solid darkgrey ;
    color: #E80A03 ;
}
a.img:hover {
    border: none;
}

em {
    font-weight: bold ;
    font-style: normal ;
}
em.warning {
    color: red ;
}
em.ok {
    color: green ;
}

div.note {
    background: #FFFB81 ;
    border: thin solid red ;
    padding-top: 0pt ;
    padding-left: 10pt ;
    padding-right: 10pt ;
    margin-left: 30pt  ;
    margin-right: 30pt ;
}

p {
    font-size: 12pt ;
}
p.head {
    text-align: center ;
}
p.foot {
    font-size: 9pt ;
    text-align: center ;
}
p.ref {
    white-space: pre ;
}
p.sign {
    padding-left: 80% ;
}

.code {
    font-family: 'Courier 10 Pitch', 'New Courier', Courier, Monospace ;
    background: #DADADA ;
    border: thin solid darkgrey ;
    padding: 5pt ;
    line-height: 100% ;
    white-space: pre ;
    overflow: auto ;
}

code {
    font-family: 'Courier 10 Pitch', 'New Courier', Courier, Monospace ;
    font-variant: normal ;
    white-space: pre ;
}

ul {
    list-style: none ;
}

li {
    list-style: none ;
}
li.nr {
    list-style: decimal outside ;
    margin-left: -10pt ;
}
li.dot {
    list-style: disc outside ;
    margin-left: -10pt ;
}

table {
    background: transparent ;
    color: black ;
    font-size: 12pt ;
    font-family: Verdana, Geneva, Helvetica, Arial, sans-serif ;
}

th {
    text-align: left ;
}

td {
    border: none ;
    vertical-align: top ;
    padding-bottom: 5pt ;
}

#doc {
    width: 100% ;
}
#doc td {
    height: 40px ;
    vertical-align: center ;
    padding-bottom: 0pt ;
}
#doc .doc {
    width: 70px ;
    vertical-align: bottom ;
}