From 8a45d23d631c6acfa91f387488430d03ab685a8b Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@johnjcamilleri.com>
Date: Tue, 27 Nov 2018 21:58:19 +0100
Subject: [PATCH] Minors to homepage

---
 index.html | 27 ++++++++++++++-------------
 1 file changed, 14 insertions(+), 13 deletions(-)
diff --git a/index.html b/index.html
index 990bdc21f..df1a0eb98 100644
--- a/index.html
+++ b/index.html
@@ -16,8 +16,8 @@
 <body>
 <div class="container">
 
-<div class="m-5 text-center">
-  <img style="height:300px" src="doc/Logos/gf1.svg" alt="GF Logo">
+<div class="m-4 text-center">
+  <img style="height:250px" src="doc/Logos/gf1.svg" alt="GF Logo">
   <h1 class="display-3" style="text-shadow: 1px 1px 5px #999;">Grammatical Framework</h1>
   <h4 class="text-black-50">A programming language for multilingual grammar applications</h4>
 </div>
@@ -25,7 +25,7 @@
 <div class="row">
 
   <div class="col-sm-6 col-md-3 offset-md-1">
-    <h2>Use</h2>
+    <h3>Use</h3>
     <a href="download/index.html" class="btn btn-primary mb-2">
       <i class="fas fa-download mr-1"></i>
       Download GF
@@ -37,14 +37,14 @@
 
     <h4>Community</h4>
     <ul>
-      <li><a href="http://groups.google.com/group/gf-dev">User Group</a></li>
+      <li><a href="http://groups.google.com/group/gf-dev">Mailing List</a></li>
       <li><a href="https://github.com/GrammaticalFramework/gf-core/issues">Issue Tracker</a></li>
       <li><a href="http://school.grammaticalframework.org/2018/">Summer School</a></li>
     </ul>
   </div>
 
   <div class="col-sm-6 col-md-4">
-    <h2>Learn</h2>
+    <h3>Learn</h3>
 
     <a href="lib/doc/synopsis/index.html" class="btn btn-primary mb-2">
       <i class="fab fa-readme mr-1"></i>
@@ -67,7 +67,7 @@
     </ul>
   </div>
   <div class="col-sm-6 col-md-4">
-    <h2>Develop</h2>
+    <h3>Develop</h3>
     <a href="https://github.com/GrammaticalFramework/" class="btn btn-primary mb-2">
       <i class="fab fa-github mr-1"></i>
         GF on GitHub
@@ -199,7 +199,7 @@ least one, it may help you to get a first idea of what GF is.
     </ul>
 
     <p>
-    The GF programming language is high-level and advanced, featuring
+    The GF programming language is high-level and advanced, featuring:
     </p>
     <ul>
     <li>static type checking</li>
@@ -217,7 +217,7 @@ least one, it may help you to get a first idea of what GF is.
 
     <p>
     We run the IRC channel <strong><code>#gf</code></strong> on the Freenode network, where you are welcome to look for help with small questions or just start a general discussion.
-    IRC logs (in raw format) are available <a href="irc/">here</a>.
+    IRC logs (in raw format) are available <a href="http://www.grammaticalframework.org/irc/">here</a>.
     If you have a larger question which the community may benefit from, we recommend you ask it on the <a href="http://groups.google.com/group/gf-dev">mailing list</a>.
     </p>
 
@@ -264,7 +264,7 @@ least one, it may help you to get a first idea of what GF is.
     an authoring system for medical drug descriptions.
     </p>
     <p>
-    Later projects using GF and involving third parties include, in chronological order,
+    Later projects using GF and involving third parties include, in chronological order:
     </p>
     <ul>
     <li>
@@ -298,19 +298,20 @@ least one, it may help you to get a first idea of what GF is.
     </li>
     <li>
       <a href="http://remu.grammaticalframework.org">REMU</a>:
-      reliable multilingual digital communication.
+      reliable multilingual digital communication
     </li>
     </ul>
-    <p>
+    <!-- <p>
     Here is a <a
     href="http://videos.xrce.xerox.com/index.php/videos/index/618">talk
     about GF at XRCE</a>,
     14 years later.
+    </p> -->
 
     <p>
     Academically, GF has been used in at least ten PhD theses and resulted
-    in more than a hundred
-    scientific publications (see <a href="doc/gf-bibliography.html">GF publication list</a>).
+    in more than a hundred scientific publications.
+     <!-- (see <a href="doc/gf-bibliography.html">GF publication list</a>). -->
     </p>
 
     <h2>Libraries</h2>
