diff options
Diffstat (limited to 'doc/html/ada/main.htm')
-rw-r--r-- | doc/html/ada/main.htm | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/doc/html/ada/main.htm b/doc/html/ada/main.htm index 701fe7d1437b..6a1b0ba983d7 100644 --- a/doc/html/ada/main.htm +++ b/doc/html/ada/main.htm @@ -1,5 +1,17 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> -<HTML><HEAD><TITLE></TITLE></HEAD> +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"> +<HTML> +<HEAD> +<TITLE></TITLE> +<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> +<style type="text/css"> +*.comment { + color: green; +} +*.symbol { + color: red; +} +</style> +</HEAD> <BODY> <P ALIGN=right><A HREF="main.htm" TARGET="_top">[No frame version is here]</A><P><H2 ALIGN=CENTER>Files</H2> <A HREF="files/T.htm">[T]</A> |