diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/index.html b/index.html index 68aebd102..67ca53f43 100644 --- a/index.html +++ b/index.html @@ -27,7 +27,7 @@ Version 3.3 October 2011 <P> -<font size=+2> +<div class=mainlinks style="font-size: 140%"> [ <A HREF="demos/index.html">Demos</A> | <A HREF="http://www.grammaticalframework.org/download/index.html">Download</A> | <A HREF="lib/doc/synopsis.html">Libraries</A> @@ -37,8 +37,9 @@ October 2011 | <A HREF="http://groups.google.com/group/gf-dev">UserGroup</A> | <A HREF="gf-book">Book</A><font size=-1 color=red><i>New!</i></font> ] -</font> -<P> +</div> +<div class=extralinks> +<p> [ <A HREF="http://code.google.com/p/grammatical-framework/wiki/SideBar?tm=6">Wiki</A> | <A HREF="doc/gf-people.html">People</A> | <A HREF="doc/gf-bibliography.html">Publications</A> @@ -50,7 +51,8 @@ October 2011 | <A HREF="http://www.molto-project.eu">MOLTO</A> | <A HREF="http://school.grammaticalframework.org">SummerSchool</A> | <A HREF="/android/">Android</A> -] +] +</div> </div> <H2>News</H2> |