diff --git a/download-docs.php b/download-docs.php index 563090ff4..9b835426f 100644 --- a/download-docs.php +++ b/download-docs.php @@ -9,51 +9,54 @@ if (!empty($_GET['active_langs'])) { } $SIDEBAR_DATA=' -

Online documentation

-

- You can read the - documentation online - in various languages. The Documentation HOWTO, - and archive manuals are also available - from our documentation page. -

+
+
Online documentation
+
+

+ You can read the + documentation online + in various languages. The Documentation HOWTO, + and archive manuals are also available + from our documentation page. +

+
+
-

Other formats

-

- The manual is also available via *nix style man pages. To - install and use: -

- +
+
Other formats
+
+

+ The manual is also available via *nix style man pages. To + install and use: +

+ +
+
-

HTML Help viewers

- - -

File sizes and dates

-

- If you are using a capable browser, the file size and - date will show up when you move the mouse above a link. - If you cannot view this information, or would like to see all the - information, you can click - here to see all the file sizes and dates. -

+
+
HTML Help viewers
+
+ +
+
'; site_header("Download documentation", array("current" => "docs")); @@ -234,4 +237,4 @@ if (count($found_formats) == 0) { } ?> - $SIDEBAR_DATA));