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 e883492169dcc6cc32b0b7b27c781326e4c068ca..db3013347de27f5b9e45ebe56bc9331b01e7b625 100644 (file)
--- 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>