.headline { background-color : #D0D0D0 ;
       color : #202020 ;
     }

.line1 { background-color : #E0E0E0 ;
       color : #202020 ;
     }

.line2 { background-color : #E8E8E8 ;
       color : #202020 ;
     }

sup { font-size : x-small ; }

.abstract { font-size : smaller ;
            border-style : solid ;
            border-width : 1px ;
            border-color : #404040 ;
            padding : 3px ;
            margin : 3px ;
            background-color : #FFFFFF
          }