* change fancy line number to 10
authormitty <mitty@7d2118f6-f56c-43e7-95a2-4bb3031d96e7>
Wed, 27 Oct 2010 05:36:14 +0000 (05:36 +0000)
committermitty <mitty@7d2118f6-f56c-43e7-95a2-4bb3031d96e7>
Wed, 27 Oct 2010 05:36:14 +0000 (05:36 +0000)
 * change background color of codes to white
 * comment out copyright header
 * change title
 * comment out explanation of this script
 * suppress post form on source posted
 * add links to documents

git-svn-id: https://lab.mitty.jp/svn/lab/trunk@76 7d2118f6-f56c-43e7-95a2-4bb3031d96e7

genshi/index.php

index 32e6f0c..7817396 100755 (executable)
@@ -58,12 +58,12 @@ if (isset($_POST['submit'])) {
     $geshi->enable_classes();
 
     // Enable line numbers. We want fancy line numbers, and we want every 5th line number to be fancy
-    $geshi->enable_line_numbers(GESHI_FANCY_LINE_NUMBERS, 5);
+    $geshi->enable_line_numbers(GESHI_FANCY_LINE_NUMBERS, 10);
 
     // Set the style for the PRE around the code. The line numbers are contained within this box (not
     // XHTML compliant btw, but if you are liberally minded about these things then you'll appreciate
     // the reduced source output).
-    $geshi->set_overall_style('font: normal normal 90% monospace; color: #000066; border: 1px solid #d0d0d0; background-color: #f0f0f0;', false);
+    $geshi->set_overall_style('font: normal normal 90% monospace; color: #000066; border: 1px solid #d0d0d0; background-color: #ffffff;', false);
 
     // Set the style for line numbers. In order to get style for line numbers working, the <li> element
     // is being styled. This means that the code on the line will also be styled, and most of the time
@@ -85,8 +85,8 @@ if (isset($_POST['submit'])) {
     // Use the header/footer functionality. This puts a div with content within the PRE element, so it is
     // affected by the styles set by set_overall_style. So if the PRE has a border then the header/footer will
     // appear inside it.
-    $geshi->set_header_content('<SPEED> <TIME> GeSHi &copy; 2004-2007, Nigel McNie, 2007-2008 Benny Baumann. View source of example.php for example of using GeSHi');
-    $geshi->set_header_content_style('font-family: sans-serif; color: #808080; font-size: 70%; font-weight: bold; background-color: #f0f0ff; border-bottom: 1px solid #d0d0d0; padding: 2px;');
+    //$geshi->set_header_content('<SPEED> <TIME> GeSHi &copy; 2004-2007, Nigel McNie, 2007-2008 Benny Baumann. View source of example.php for example of using GeSHi');
+    //$geshi->set_header_content_style('font-family: sans-serif; color: #808080; font-size: 70%; font-weight: bold; background-color: #f0f0ff; border-bottom: 1px solid #d0d0d0; padding: 2px;');
 
     // You can use <TIME> and <VERSION> as placeholders
     $geshi->set_footer_content('Parsed in <TIME> seconds at <SPEED>, using GeSHi <VERSION>');
@@ -100,7 +100,7 @@ if (isset($_POST['submit'])) {
      "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
 <head>
-    <title>GeSHi examples</title>
+    <title>GeSHi - Generic Syntax Highlighter</title>
     <style type="text/css">
     <!--
     <?php
@@ -157,22 +157,32 @@ if (isset($_POST['submit'])) {
     </style>
 </head>
 <body>
+<!--
 <h2>GeSHi Example Script</h2>
 <p>To use this script, make sure that <strong>geshi.php</strong> is in the parent directory or in your
 include_path, and that the language files are in a subdirectory of GeSHi's directory called <strong>geshi/</strong>.</p>
 <p>Enter your source and a language to highlight the source in and submit, or just choose a language to
 have that language file highlighted in PHP.</p>
+-->
 <?php
 if (isset($_POST['submit'])) {
     // The fun part :)
     echo $geshi->parse_code();
     echo '<hr />';
+    echo '</body>';
+    echo '</html>';
+    exit;
 }
 ?>
+<h2>GeSHi - Generic Syntax Highlighter</h2>
+<ul>
+  <li><a href="docs/geshi-doc.html">GeSHi Documentation</a></li>
+  <li><a href="docs/api/">GeSHi API</a></li>
+</ul>
 <form action="<?php echo basename($_SERVER['PHP_SELF']); ?>" method="post">
 <h3>Source to highlight</h3>
 <p>
-<textarea rows="10" cols="60" name="source" id="source"><?php echo $fill_source ? htmlspecialchars($_POST['source']) : '' ?></textarea>
+<textarea rows="30" cols="120" name="source" id="source"><?php echo $fill_source ? htmlspecialchars($_POST['source']) : '' ?></textarea>
 </p>
 <h3>Choose a language</h3>
 <p>