Html

THtml is now using the leyout of the new ROOT web site. There is a number of other improvements:

• The sources now show line numbers. Each line number is a link and an anchor, i.e. it can be jumped to.
• The line number can be copy&pasted: mark the line number from the right and drag your mouse to the left until teh line number and a space next to it are marked. When you paste this you will get the file and line number in the GDB-format (MyFile.cxx:123), e.g. to set breakpoints.
• THtml now uses short class names, e.g. map<A,B,less<A>,allocator<pair<A,B> > > now simply becomes map<A,B>.