[dev] Spacing between menu <div> and content

[Chuck Hagenbuch]

Quoting Roel Gloudemans <roel at gloudemans.info>:

> I think this is not as bad as it looks. If the margin is set in all 
> available themes, the only thing that would happen is that the 
> spacing between menu and content gets a bit bigger (I recommend 10 
> pixels). But since it was not possible to control the spacing anyway 
> almost nothing will be lined out with it.

Think the other way - if an app is updated, but *not* Horde, then 
there'll be no space.

-chuck

-- 
"But she goes not abroad in search of monsters to destroy." - John 
Quincy Adams