From 96083899fb2ecb37008d83ae4faf22e4f62b3f5c Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Sat, 15 Jun 2024 12:11:11 -0400
Subject: [PATCH] docs: Update website

---
 doc/_config.yml    | 13 ++++++++++---
 doc/index.markdown |  5 ++++-
 2 files changed, 14 insertions(+), 4 deletions(-)

diff --git a/doc/_config.yml b/doc/_config.yml
index 06c6ffe..1cb2684 100644
--- a/doc/_config.yml
+++ b/doc/_config.yml
@@ -18,18 +18,25 @@
 # You can create any custom variable you would like, and they will be accessible
 # in the templates via {{ site.myvariable }}.
 
-title: HepLean
-email: HEPLean
+title: "HepLean: Digitalizing High-Energy Physics in Lean 4"
+#email: HEPLean
 description: >- # this means to ignore newlines until "baseurl:"
   A project to digitalize results from high-energy physics into Lean 4.  
 baseurl: "/HepLean" # the subpath of your site, e.g. /blog
 url: "https://heplean.github.io" # the base hostname & protocol for your site, e.g. http://example.com
 #twitter_username: jekyllrb
-github_username:  HEPLean
+github_username: "HEPLean"
 
 # Build settings
 theme: minima
 
+minima:
+  skin: solarized
+  
+author:
+  name: HEPLean
+  email: " "
+
 # The following items will not be processed, by default.
 # Any item listed under the `exclude:` key here will be automatically added to
 # the internal "default list".
diff --git a/doc/index.markdown b/doc/index.markdown
index 4e3e0a5..a3ea455 100644
--- a/doc/index.markdown
+++ b/doc/index.markdown
@@ -4,6 +4,9 @@
 
 layout: home
 ---
+[![](https://img.shields.io/badge/Documentation-blue)](https://heplean.github.io/HepLean/docs)
+[![](https://img.shields.io/badge/GitHub-blue)](https://github.com/HEPLean/HepLean)
 
-# Documentation  
+(This site is a work in progress. More to follow. Follow the links above to 
+the documentation page or GitHub.)