[doc] html stylesheet