Update of /cvsroot/htdocs/Releases/formal-1.1
In directory netbsd1:/var/slash-tmp/cvs-serv19191/Releases/formal-1.1

Modified Files:
	index.html 
Log Message:
Un-greenballify the lists.

We used to simulate unordered lists by using definition lists to
control indentation and inlined images of shaded green balls to mark
each entry. While this looked cute on the some graphical browsers, it
produced a triple-spaced appearance with lynx. We return to real
unordered lists, which look good on textual browsers, while graphical
browser implementations can still choose a cute representation if
their authors care.