aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall1999-08-17 19:26:47 +0000
committerDavid Aspinall1999-08-17 19:26:47 +0000
commitab2f50bc3f98d3571a802c915c0d015062061d13 (patch)
tree9734d2da7306adc22ecb454d24399b0f50f28b79
parentc9d21a669960693d5e05ceff3c68ab698bbf318d (diff)
Web page todo for smaller screens.
-rw-r--r--todo2
1 files changed, 2 insertions, 0 deletions
diff --git a/todo b/todo
index 9ba705c4..f8e1c198 100644
--- a/todo
+++ b/todo
@@ -41,6 +41,8 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
X Web pages:
- Check appearance in V3 browsers.
+ - Make front page logo be an image map.
+ - Reduce text size and front page image, for 1024x768 screens.
- Validate pages.
Current failures for HTML 4.0 to do with CGI-style arguments with "&",
this is a problem with PHP3 really.