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" =>
@@ -366,7 +366,7 @@ $menu = array("Getting started" => | |||
+ | } } ?> - | + |
-- index \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; |