/*
-----------------------------------------------
styles for print
author:   joseph denne
updated:  18.09.2004
----------------------------------------------- */


/* global
----------------------------------------------- */
body {
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px;
}


/* text formatting
----------------------------------------------- */
h1,
h2,
h3,
p {
margin-bottom: 5px;
margin-top: 0;
padding: 0;
}

ul,
ol {
margin-bottom: 5px;
margin-top: 0;
padding-bottom: 5px;
padding-top: 0;
}