From: Matthias Maier <tamiko@kyomu.43-1.org>
Date: Sat, 13 Jul 2013 12:39:08 +0000 (+0000)
Subject: Doc: Resize navigation bar
X-Git-Tag: v8.0.0~123
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=16c6a24011cf979952bbebc3cdc4e382aa1af304;p=dealii.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>