doc/: Removed now unused CSS.