avoid redundant banner in minified docs CSS