On Wed, 2003-10-22 at 19:12, John Luke wrote:
> This is because the vertical spacing in the tree isn't adjusted when the
> font-size is increased or decreased.  NDoc seems to do this.  Also, the
> images become seperated which is another little bug.
> 
> Anyone know if there is a way to detect the font size change in
> javascript and adjust the css property accordingly? (Adjusting the
> margin in the below section)
If you want to have something that changes with font size, use em's or
pt's, not px's, which are absolute.

-- Ben

_______________________________________________
Mono-docs-list maillist  -  [EMAIL PROTECTED]
http://lists.ximian.com/mailman/listinfo/mono-docs-list

Reply via email to