User Guide info boxes show too small a font

[humdinger]

This is hrev47733.

The user guide shows info boxes with too small a font (e.g. ​Aplications).

As puckipedia pointed out on IRC, the font-size:0.9em is applied twice. To fix, replace in line 171 of Haiku-doc.css:

#content div {

with

#content>div {

I think this change has to be made at the online tool.

[humdinger]

This will, however, also not apply the additional margins around info boxes. I kinda liked those.

I therefore propose to copy

margin-left: 40px;
margin-right: 40px;

from line 173 to line 227 of the .box-* declarations.

[waddlesplash]

Deployed, and will appear in trunk on the next export.