diff options
| author | David Aspinall | 1999-07-03 17:33:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 17:33:19 +0000 |
| commit | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (patch) | |
| tree | 4ba60917ae7f04b5037b1d86ebe3acf50240f10c /html/functions.php3 | |
| parent | 7e68d347a1c2a5e26b10b2225d4dfda5a3e0ca77 (diff) | |
Tweaks and validation fixes.
Diffstat (limited to 'html/functions.php3')
| -rw-r--r-- | html/functions.php3 | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/html/functions.php3 b/html/functions.php3 index cc178e53..ae8e28ea 100644 --- a/html/functions.php3 +++ b/html/functions.php3 @@ -2,6 +2,8 @@ /* PHP3 Functions for Proof General Web Pages * + * Included in every page. Prints DTD. + * * David Aspinall, June 1999. * * $Id$ @@ -12,7 +14,11 @@ $pg_email = "proofgen@dcs.ed.ac.uk"; $pg_list = "proofgeneral@dcs.ed.ac.uk"; -$dtd = "<!DOCTYPE HTML PUBLIC \"-//IETF//DTD HTML//EN\">\n"; +$dtd = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/REC-html40/loose.dtd\">\n"; + +print $dtd; + + $pg_title = "Proof General --- Organize your Proofs!"; @@ -39,7 +45,7 @@ function dt($string) { /* FIXME: for now, just inline them. */ function footnote ($text) { - print "<small><i><p>[" . $text . "]</p></small></i>"; + print "<p><small><i>[" . $text . "]</i></small></p>"; } /* A hyper-link with optional mouse over text. @@ -123,8 +129,8 @@ function footer($filemodified=".") { include('footer.phtml'); date_modified($filemodified); print "</address>\n"; +// print "</font>\n"; /* Naughty stuff for older browsers, shouldn't do if V4 */ print "</body>\n"; - print "</font>\n"; /* Naughty stuff for older browsers, shouldn't do if V4 */ print "</html>\n"; } |