Changeset 37 in projects for documentation/index.php


Ignore:
Timestamp:
Jul 24, 2009, 3:23:57 AM (15 years ago)
Author:
sven
Message:

Documentation improved:

  • documentation/index.php: Fixed nasty IE6/IE7 display bug with newlines/tabs, renamed topmost "Start" => "Home", linked all elements in header (quick & dirty)
  • documentation/style.css: Various design improvements :-)
  • documentation/start.htm: New homepage with better text

-- Sven @ sveni-p3

File:
1 edited

Legend:

Unmodified
Added
Removed
  • documentation/index.php

    r35 r37  
    102102<body>
    103103<div id="header">
    104   <h1>The Punched Paper Project</h1>
    105   <p class="subtitle">/<?=$filename; ?></p>
    106   <a href="http://dev.technikum29.de/" class="powered-by"><img src="<?=$_SERVER['SCRIPT_NAME'].'/'.$doc; ?>/src/powered-by-icon.png" alt="technikum29 development zone"></a>
     104  <h1><a href="<?=$_SERVER['SCRIPT_NAME']; ?>">The Punched Paper Project</a></h1>
     105  <p class="subtitle"><a href="<?=$_SERVER['SCRIPT_NAME'].'/../../'.$filename; ?>" title="Read the original file">/<?=$filename; ?></a></p>
     106  <a href="http://dev.technikum29.de/" class="powered-by"><img src="<?=$_SERVER['SCRIPT_NAME'].'/'.$doc; ?>/src/powered-by-icon.png" alt="a project from the technikum29 development zone"></a>
    107107</div>
    108108<div id="navigation">
     
    111111 $nav = array(
    112112        #all URLs are taken relative to one subdir (e.g. documentation/).
    113         'Start' => $default_page,
     113        'Home' => $default_page,
    114114        'The Paper Tape Project' => array(
    115115                'Start' => $doc.'/paper-tape-project.htm',
     
    153153    global $filename;
    154154    print "<ul>"; foreach($nav as $name => $url) {
    155         echo "\t<li>";
     155        echo "<li>";
    156156        if(is_array($url)) {
    157            print "<em>$name</em>\n"; print_nav($url);
     157           print "<em>$name</em>"; print_nav($url);
    158158        } else
    159            print $url == $filename ? "<strong>$name</strong>" : "<a href=\"$_SERVER[SCRIPT_NAME]/$url\">$name</a>";
    160         echo "</li>\n";
     159           print $url == $filename ? "<strong title=\"You're currently on that page\">$name</strong>" : "<a href=\"$_SERVER[SCRIPT_NAME]/$url\">$name</a>";
     160        echo "</li>";
    161161    }
    162     print "</ul>\n";
     162    print "</ul>";
    163163 }
    164164 print_nav($nav);
     
    171171</div>
    172172<div id="footer">
    173   Last modified: <?=date('r', $last_modified_time); ?>
     173  This page was last modified at <?=date('r', $last_modified_time); ?>
    174174  <br/>
    175175  Further reading:
Note: See TracChangeset for help on using the changeset viewer.
© 2008 - 2013 technikum29 • Sven Köppel • Some rights reserved
Powered by Trac
Expect where otherwise noted, content on this site is licensed under a Creative Commons 3.0 License