[dev] Spacing between menu <div> and content

[Chuck Hagenbuch]

Quoting Roel Gloudemans <roel at gloudemans.info>:

> Add another option to conf.php. Setting this option results in the 
> fact that the Horde portal menu is expanded with the top-level 
> giapeto pages. We'll show these top-level pages outside the Horde 
> tree (as could be seen in the image).

I'd rather see a more general menu appearance/alternate rendering hook, 
personally.

-chuck

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