From 5d21663e40cf840096a44121cdf0ee6b5772e460 Mon Sep 17 00:00:00 2001
From: zYne <zYne@625475ce-881a-0410-a577-b389adb331d8>
Date: Tue, 19 Sep 2006 15:26:41 +0000
Subject: [PATCH] Manual text bigger

---
 manual/documentation.php |  6 +++---
 manual/styles/basic.css  | 10 ++++------
 2 files changed, 7 insertions(+), 9 deletions(-)

diff --git a/manual/documentation.php b/manual/documentation.php
index d7e7890d6..3365bfa48 100644
--- a/manual/documentation.php
+++ b/manual/documentation.php
@@ -357,7 +357,7 @@ $menu = array("Getting started" =>
     <tr>
         <td width=50>
         <td>
-        <td width=800 align="left" valign="top">
+        <td align="left" valign="top">
             <table width="100%" cellspacing=1 cellpadding=1>
             <tr>
                 <td colspan=2 bgcolor="white">
@@ -366,7 +366,7 @@ $menu = array("Getting started" =>
                 </td>
             </tr>
             <tr>
-                <td bgcolor="white" valign="top" width="570">
+                <td bgcolor="white" valign="top">
                 <?php
                 if( ! isset($_REQUEST["index"])) {
                 $i = 1;
@@ -516,7 +516,7 @@ $menu = array("Getting started" =>
                     }
                     }
                 ?>
-                <td bgcolor="white" align="left" valign="top">
+                <td bgcolor="white" align="left" valign="top" width=300>
                 <?php
                     $i = 1;
                     print "<dd>-- <b><a href=documentation.php>index</a></b><br>\n";
diff --git a/manual/styles/basic.css b/manual/styles/basic.css
index e2b640279..f3170e566 100644
--- a/manual/styles/basic.css
+++ b/manual/styles/basic.css
@@ -15,7 +15,7 @@ height: 1 px;
 }
 td.small {
 font-family: Verdana, Arial, Helvetica;
-font-size: 12 px;
+font-size: 13 px;
 }
 dd {
     line-height: 1.5em;
@@ -24,12 +24,10 @@ ul {
     line-height: 1.5em;
 }
 td {
-font-size: 12 px;
+font-size: 13 px;
 font-family: Verdana, Arial, Helvetica;
 }
-joo {
-color: A50A3D;
-}
+
 table.dashed {
 border-style: solid;
 border-color: 116699;
@@ -42,7 +40,7 @@ u.title {
 color: #367FAC;
 }
 a.big {
-font-size: 13 px;
+font-size: 14 px;
 }
 a {
 color: #367FAC;