From da3071008d744e3497c74eb5f6f6eac08f9e14a5 Mon Sep 17 00:00:00 2001
From: zYne <zYne@625475ce-881a-0410-a577-b389adb331d8>
Date: Sun, 3 Dec 2006 23:41:38 +0000
Subject: [PATCH] updated the doc styling

---
 manual/documentation.php | 12 ++++++++----
 manual/features.php      |  4 ++--
 manual/highlight.php     | 10 ++++++++++
 manual/styles/basic.css  |  3 ++-
 4 files changed, 22 insertions(+), 7 deletions(-)

diff --git a/manual/documentation.php b/manual/documentation.php
index 58ffaf6fd..e9209f146 100644
--- a/manual/documentation.php
+++ b/manual/documentation.php
@@ -67,10 +67,10 @@ function renderCode($c = null) {
         $h->loadString($c);
 
         print "<table width=500 border=1 class='dashed' cellpadding=0 cellspacing=0>";
-        print "<tr><td>";
+        print "<tr><td><b>";
 
         $h->toHtml();
-        print "</td></tr>";
+        print "</b></td></tr>";
         print "</table>";
     }
 }
@@ -116,10 +116,12 @@ $menu = array("Getting started" =>
                                         "Composite",
                                         "Sequential")
                         ),
-           /**
+
            "Schema reference" =>
                         array(
                         "Data types" => array(
+                                        "Introduction",
+                                        "Type modifiers",
                                         "Boolean",
                                         "Integer",
                                         "Float",
@@ -129,13 +131,13 @@ $menu = array("Getting started" =>
                                         "Blob",
                                         "Clob",
                                         "Timestamp",
+                                        "Time",
                                         "Date",
                                         "Enum",
                                         "Gzip",
                         ),
 
                         ),
-           */
            "Basic Components" =>
                         array(
                         "Manager"
@@ -248,6 +250,8 @@ $menu = array("Getting started" =>
                         "Introduction",
                         "Levels of configuration",
                         "Setting attributes"    => array(
+                            "Portability",
+                            "Identifier quoting",
                             "Table creation",
                             "Fetching strategy",
                             "Batch size",
diff --git a/manual/features.php b/manual/features.php
index 992651d41..48524ba3f 100644
--- a/manual/features.php
+++ b/manual/features.php
@@ -27,7 +27,7 @@ include("top.php");
 <li \>Database connection pooling with connection-record -registry
 <li \>Runtime configuration (no XML needed!)
 <li \>Very modular structure (only uses the needed features)
-<li \>The whole framework can be compiled into a single file
+<li \>The runtime components can be compiled into a single file
 <li \>Leveled configuration (attributes can be set at global, connection and table levels)
 </ul>
 <br \>
@@ -54,7 +54,7 @@ include("top.php");
 <li \>LIMIT / OFFSET emulation
 </ul>
 <br \>
-<b class='title'>OBJECT RELATIONAL MAPPING</b>:
+<b class='title'>OBJECT RELATIONAL MAPPING</b>
 <ul>
     <b class='title'>General features</b>
     <li \>Validators
diff --git a/manual/highlight.php b/manual/highlight.php
index d23d2f08c..8ab0aa1e5 100644
--- a/manual/highlight.php
+++ b/manual/highlight.php
@@ -113,6 +113,7 @@ class PHP_Highlight
         // Inline
         if ($inline === false) {
             // Default colours from php.ini
+            /**
             $this->highlight = array(
                 'string'    => ini_get('highlight.string'),
                 'comment'   => ini_get('highlight.comment'),
@@ -121,6 +122,15 @@ class PHP_Highlight
                 'default'   => ini_get('highlight.default'),
                 'html'      => ini_get('highlight.html')
             );
+            */
+            $this->highlight = array(
+                'string'    => "#cb0864",
+                'comment'   => "#888888",
+                'keyword'   => "#118994",
+                'bg'        => "#222222",
+                'default'   => "#000000",
+                'html'      => ini_get('highlight.html')
+            );
             $this->span = '<span style="color: %s;">%s</span>';
         } else {
             // Basic styles
diff --git a/manual/styles/basic.css b/manual/styles/basic.css
index c44d01207..7e1a63a74 100644
--- a/manual/styles/basic.css
+++ b/manual/styles/basic.css
@@ -33,8 +33,9 @@ font-family: Verdana, Arial, Helvetica;
 }
 
 table.dashed {
-border-style: solid;
+border-style: dashed;
 border-color: 116699;
+border-shadow: none;
 border-width: 1 px;
 }
 b.title {