Prepare 3.0.0 (#277)

* add logo and favicon

* bump version number and add link to homepage

README.md

@@ -1,4 +1,4 @@
-# Scenic
+[<img src="docs/images/logo-full.svg" alt="Scenic Logo" height="100">](https://scenic-lang.org/)
 
 [![Documentation Status](https://readthedocs.org/projects/scenic-lang/badge/?version=latest)](https://scenic-lang.readthedocs.io/en/latest/?badge=latest)
 [![Tests Status](https://github.com/BerkeleyLearnVerify/Scenic/actions/workflows/run-tests.yml/badge.svg)](https://github.com/BerkeleyLearnVerify/Scenic/actions/workflows/run-tests.yml)

docs/_static/custom.css

@@ -12,6 +12,12 @@ pre {tab-size: 4;}
 .wy-table-responsive table td, .wy-table-responsive table th {white-space: normal;}
 /* Increase maximum body width to support 100-character lines */
 .wy-nav-content {max-width:900px;}
+/* Make SVG logo render at the correct size */
+.wy-side-nav-search .wy-dropdown > a img.logo, .wy-side-nav-search > a img.logo {
+    width: 100%;
+}
+/* Modify background color behind logo to make it more readable */
+.wy-side-nav-search {background-color:#48ac92}
 /* Shrink the sidebar to 270 pixels wide */
 .wy-tray-container li, .wy-menu-vertical, .wy-side-nav-search, .wy-nav-side,
 .rst-versions {width:270px;}

docs/conf.py

@@ -151,6 +151,13 @@
     "custom.css",
 ]
 
+html_logo = "images/logo-full.svg"
+html_favicon = "images/favicon.ico"
+
+html_theme_options = {
+    "logo_only": True,
+}
+
 # -- Generate lists of keywords for the language reference -------------------
 
 import itertools