html {background-color: rgb(204,204,204)}
h1 {color:#000054}
h2 {color:#000054}
h3 {color:#000054}
h4 {color:#000054}
p  {margin-left:  15mm}
pre {margin-left: 15mm}
ul, ol {margin-left: 20mm; padding-left:0em }