";
$this->highlighter->toHtml();
@@ -152,112 +118,16 @@ $i = $doc->parseIndex2($a);
|
-
+ |
Doctrine - PHP Data Persistence and ORM Tool
|
-
$v) {
- $indexes = explode('.', $v['index']);
- $level = count($indexes);
- $e = explode(' - ', $v['name']);
-
- print ' ";
- }
- } else {
-
-
- $e = explode(' - ', $_GET['chapter']);
- $subchapters = false;
- $found = false;
-
- foreach ($i as $k => $v) {
- if ($found) {
- if (strncmp($v['name'], $_GET['chapter'], strlen($_GET['chapter'])) === 0) {
- $subchapters = true;
- }
- break;
- }
- $parts = explode(' - ', $v['name']);
- $indexes = explode('.', $v['index']);
-
- if ($v['name'] === $_GET['chapter']) {
- $prev = $i[($k - 1)];
- $next = $i[($k + 1)];
- $foundKey = ($k + 1);
- $found = $v;
- }
-
- }
-
+ include('content.php');
?>
-
-
-
-
-
-
-
-
-
- Table of contents
-
-
- ' . implode(' - ', $p); ?>
-
-
-
-
-
-
- renderBlock($found['name']);
- }
-
-
- ?>
-
|
diff --git a/manual/highlight.php b/manual/highlight.php
index 8ab0aa1e5..7cdfeb242 100644
--- a/manual/highlight.php
+++ b/manual/highlight.php
@@ -299,7 +299,7 @@ class PHP_Highlight
} elseif ($blocks === true && in_array($i, $this->_plaintextkeys)) {
$out .= $line;
} else {
- $out .= "$line ";
+ $out .= "$line";
}
$out .= "\n";
@@ -339,7 +339,7 @@ class PHP_Highlight
// Format code
$source = $this->toArray($funcref);
- $out = "\n";
+ $out = "\n";
foreach ($source as $i => $line) {
$out .= ' ';
@@ -350,7 +350,7 @@ class PHP_Highlight
$out .= empty($line) ? ' ' : $line;
$out .= " \n";
}
- $out .= "\n";
+ $out .= " \n";
if ($return === true) {
return $out;
diff --git a/manual/styles/basic.css b/manual/styles/basic.css
index e0067c677..e10eca15b 100644
--- a/manual/styles/basic.css
+++ b/manual/styles/basic.css
@@ -69,12 +69,31 @@ background: #F5F5F5;
div.level5 {
}
-div.index {
+table.index {
border-style: solid;
border-color: #A0A0A0;
border-shadow: none;
border-width: thin;
}
+td.bordered {
+border-style: solid;
+border-color: #A0A0A0;
+border-shadow: none;
+border-width: thin;
+}
+div.content {
+margin: 5,5,5,5 px;
+}
+div.code {
+font-family: monospace;
+}
+div.smallmenu {
+border-style: solid;
+border-color: #A0A0A0;
+border-shadow: none;
+border-width: thin;
+background: #E9E9E9;
+}
b.title {
color: #A50A3D;
}
@@ -108,3 +127,7 @@ font.level4 {
font-size: 11 px;
margin-left: 90px;
}
+font.smallmenu {
+font-size: 13 px;
+font-weight: bold;
+}
|