From 1733d2c46140d2c790809d789bbaa75bcd472596 Mon Sep 17 00:00:00 2001
From: maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sat, 13 Jul 2013 12:39:08 +0000
Subject: [PATCH] Doc: Resize navigation bar

Also 30k get.

git-svn-id: https://svn.dealii.org/trunk@29999 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/development/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
2.39.5