Updated web pages, misc improvements.

1 files changed, 4 insertions, 10 deletions

diff --git a/html/screenshot.phtml b/html/screenshot.phtml
index c4dc4b92..b57c0d37 100644
--- a/html/screenshot.phtml
+++ b/html/screenshot.phtml
@@ -1,14 +1,11 @@
-<?php  
-  require('functions.php3');
-  small_header("Proof General Screenshots"); 
-?>
 <p>
-Here are some screenshots of Proof General running with
+Here are some screenshots of Proof General 3.0 running with
 different theorem provers.  To see the full-size version
 of a picture, click on its thumbnail.
 </p>
 <p>
-<i>(NB: Your browser needs PNG support to view these pictures)</i>
+<i>NB: Your browser needs PNG support to view these pictures.
+</i>
 </p>
 
 <!-- todo: php3 this, add space between rows! -->
@@ -108,7 +105,4 @@ graphical features are reduced!
 <p>
 For more pictures, see the Proof General <a href="gallery.phtml">gallery</a>.
 </p>
-<?php  
-   click_to_go_back();
-   footer();
-?>
+