6fe1a0 Update `Webenv/Css/Texi2html/default.css':

Authored and Committed by areguera 13 years ago
    Update `Webenv/Css/Texi2html/default.css':
    
        - Set dl dt definitions to use `font-weight:bold'.