[commits] Horde Web Source branch master updated. 31f85bc5540dbd81e987ef78641a0703873fc860

[Gunnar Wrobel]

The branch "master" has been updated.
The following is a summary of the commits.

from: e6babe9edbaa3b6aac494a824b755a94144f3a3f

31f85bc Publish the link to the demo server.

-----------------------------------------------------------------------

commit 31f85bc5540dbd81e987ef78641a0703873fc860
Author: Gunnar Wrobel <p at rdus.de>
Date:   Wed Oct 5 08:00:31 2011 +0200

    Publish the link to the demo server.

 app/views/shared/banner.html.php |    5 +++--
 app/views/shared/footer.html.php |    1 +
 css/horde.css                    |   26 ++++++++++++++++----------
 images/menu_back.png             |  Bin 893 -> 986 bytes
 4 files changed, 20 insertions(+), 12 deletions(-)

http://git.horde.org/horde-web/-/commit/31f85bc5540dbd81e987ef78641a0703873fc860