How to change width of nav column? (xdoc)

[Dolf Starreveld]

I don't quite like the width of the nav column as generated by 
default in the site docs.
I know about navigation.xml (in fact I use it), but don't know what I 
can do there, or elsewhere, to modify it.
Things I have tried or thought about:

- Look for a maven.ui property that can do this. Not available it appears
- Look for a maven.ui property that allows me to define a background image
  (for which I would the use a spacer image). Not found
- Override maven.css. Copied it to xdocs/stylesheets and modified it to add
  a width property. Problem is that the @variable are not being expanded this
  way. The plugin just copies these files, whereas the ones from the
  plugin resources directory are subject to token substitution.
        I don't like the approach anyway because it forces me to copy the
        whole maven.css, making me loose future updates
Ideas anybody?

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]