GF home page minor style update

This commit is contained in:
hallgren
2012-03-01 14:51:16 +00:00
parent 9260797e6b
commit 4d4aefebdd
2 changed files with 10 additions and 6 deletions

View File

@@ -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>