/* CSS for HTML files converted from man pages */

body            { 
                  color: #000000;
                  background-color: #FFFFFF;
                  margin-right: 1ex;
                  orphans: 3;
                  widows: 3;
                  page-break-inside: auto;
                }


pre             {
                  text-align: left;
                  text-indent: 0;
                  padding-bottom: 5em; /* for footer area */
                }


a:link          {
                  text-decoration: none;
                  color: #373abe;
                  font-weight: bold
                }
a:visited       {
                  color: #600080;
                }
a:hover         {
                  text-decoration: underline
                }


#footer         {
                  position: fixed;
                  background-color: #FFFFFF;
                  z-index: 1;
                  top: auto;
                  bottom: 0;
                  min-height: 7ex;
                  padding: 0 1em .5em;
                  left: 0;
                  right: 0;
                }
#footer table   {
                  padding: 0;
                  margin: 0 auto 0;
                  float: right;
                  border: solid 2px black;
                  border-collapse: collapse;
                  empty-cells: show;
                  width: auto;
                }
#footer table td {
                  padding: 2px 4px;
                }

@media print    {
                  .footer, #footer { display: none }
                }