/*
:Copyright: This stylesheet has been placed in the public domain.
*/

@import url(default.css) ;

body {
    font-family: verdana, helvetica, arial ;
    background-color: #eeeeff ;
}

hr.docutils {
  width: 100% ;
}

div.footer {
    font-family: verdana, helvetica, arial, "Bitstream Vera Sans Mono" ;
    font-size: 75% ;
}