From: maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sat, 13 Jul 2013 12:39:08 +0000 (+0000)
Subject: Doc: Resize navigation bar
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1733d2c46140d2c790809d789bbaa75bcd472596;p=dealii-svn.git

Doc: Resize navigation bar

Also 30k get.

git-svn-id: https://svn.dealii.org/trunk@29999 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/development/index.html b/deal.II/doc/development/index.html
index e883492169..db3013347d 100644
--- a/deal.II/doc/development/index.html
+++ b/deal.II/doc/development/index.html
@@ -15,7 +15,7 @@
 
 <frameset rows="70,*">
   <frame name="title" src="title.html">
-  <frameset cols="120,*">
+  <frameset cols="150,*">
     <frame name="navbar" src="navbar.html">
     <frame name="body" src="toc.html">
   </frameset>