From f3bb77ca819723d95ea2be57f71d2a87468e5559 Mon Sep 17 00:00:00 2001
From: Steve <stephenjsweeney@battleforthesolarsystem.com>
Date: Sat, 28 Mar 2020 13:51:53 +0000
Subject: [PATCH] Use Arial as default font.

---
 manual/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/manual/index.html b/manual/index.html
index 5623069..fc4d04b 100644
--- a/manual/index.html
+++ b/manual/index.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <style>
-body {background-color:#000; color: #fff; font-family: "sans"; background-image: url("background02.jpg");}
+body {background-color:#000; color: #fff; font-family: Arial; font-size: 18px; background-image: url("background02.jpg");}
 h3 {background-color:#47c; padding:0.25em; color:#fff; margin-top:3em; border: 1px solid #fff;}
 h4 {background-color:#000; padding:0.25em; color:#fff; margin-top:3em; border: 1px solid #5ad;}
 h5 {border-bottom: 1px solid #5ad; width: 50%;}
@@ -513,7 +513,7 @@ $('h3,h4').each(function(i, e) {
 	{
 		toc.append("&blacksquare; <a href='#" + link + "'>" + e.innerText + "</a><br>");
 	}
-	
+
 	if (e.tagName == 'H4')
 	{
 		toc.append("<span style='text-indent: 2em; display: inline-block'>&#9643 <a href='#" + link + "'>" + e.innerText + "</a></span><br>");
