1 a { text-decoration:none; }

     1 a { text-decoration:none; }

     2 .age { white-space:nowrap; }

     2 .age { white-space:nowrap; }

     3 .parity0 { background-color: #dddddd; }

     4 .parity0 { background-color: #dddddd; }

     4 .parity1 { background-color: #eeeeee; }

     5 .parity1 { background-color: #eeeeee; }

     5 .lineno { width: 60px; color: #aaaaaa; font-size: smaller; 

     6 .lineno { width: 60px; color: #aaaaaa; font-size: smaller; 

     6           text-align: right; padding-right:1em; }

     7           text-align: right; padding-right:1em; }

     7 .plusline { color: green; }

     8 .plusline { color: green; }