Re: [gecode-users] HTML Documentation CSS suggestion

2008-02-07 Thread Mikael Zayenz Lagerkvist
That is a good idea. We will add it to the trunk. Cheers, Mikael On Feb 7, 2008 11:06 AM, Martin Mann <[EMAIL PROTECTED]> wrote: > > Hi, > > to make the HTML API a bit more readable and structured I would suggest > to highlight each function description header such that a fast > scolling/browsing

[gecode-users] HTML Documentation CSS suggestion

2008-02-07 Thread Martin Mann
Hi, to make the HTML API a bit more readable and structured I would suggest to highlight each function description header such that a fast scolling/browsing is possible. For that I suggest the following tag to the documentation css that draws a light grey box for the according div element ==