1 a { text-decoration:none; }

     1 a { text-decoration:none; }

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

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

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

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

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

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

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

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

     6 .plusline { color: green; }

     7 .plusline { color: green; }