[dev] Toolbar background color (Patch)

[Jeroen Huinink]

This small patch allows you to set a different background color for the
toolbar in your theme.

Regards,
Jeroen
Index: menu.inc
===================================================================
RCS file: /repository/horde/templates/horde/menu.inc,v
retrieving revision 1.2
diff -r1.2 menu.inc
22c22
<   <tr>
---
>   <tr class="toolbar">
Index: html.php.dist
===================================================================
RCS file: /repository/horde/config/html.php.dist,v
retrieving revision 1.47
diff -r1.47 html.php.dist
77a78,79
> $css['.toolbar']['background-color'] = '#222244';
>