/* Style sheet for poseidon on-line man pages */


BODY{font-family: helmet, helvetica, "minion web", sans-serif;
     text-align:justify;
     margin: 2% 2% 2% 10%;
     background-color: #ffffff;
     background-repeat: repeat-y
    }

CODE { font-family:  courier, fixed; font-size:90% }
PRE { font-family:  courier, fixed; font-size:12pt }

H2 { font-size: 120%; }

H3 { font-size: 120%; }

H4 { font-size: 110% }

HR { margin-left: -5% }

.code { font-family:  courier, fixed; 
        font-size:90%;
        text-align:left; }
  
.InArg { color: green; 
         font-family: courier, monospace; 
         font-weight: bold; }

.OutArg { font-family:  courier, monospace; 
         font-weight: bold; 
         color: red; }

.SOURCE { font-size: 90%;}

.backref{ color: #08a0c0;}

.comment{ color: #08a0c0; font-style: italic }

.descr{ margin-left: +5%; margin-right:10% }

.ODD{  }
.EVEN{ background-color: #e0f0f0 }