comment out css dealing with tab bolding, issue #20