Dear list, I have a simple question here. I have been using doc system to build my own documentation for a few years now. But it doesn't take a few things like <tip> <warning> <note> etc., which I want too. My question is: do I have to upgrade building tools or just doc main structure, or simply css file? Thanks, Chen