From 9907fff3139395846490c54fd9f04eb46df4b811 Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 18:53:02 +0100
Subject: Tweak output files

---
 doc/Tutorial.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'doc/Tutorial.md')

diff --git a/doc/Tutorial.md b/doc/Tutorial.md
index 20678f2..8d9d9ff 100644
--- a/doc/Tutorial.md
+++ b/doc/Tutorial.md
@@ -12,7 +12,7 @@
   color: darkgreen
 }
 .IdrisKeyword {
-  text-decoration: underline;
+  font-weight: bold;
 }
 .IdrisComment {
   color: #b22222
@@ -40,7 +40,7 @@ A _setoid_ is a type equipped with an equivalence relation
 
 
 <code class="IdrisCode">
-<span class="IdrisFunction">F</span>&nbsp;<span class="IdrisKeyword">:</span>&nbsp;<span class="IdrisType">Nat</span><br />
-<span class="IdrisFunction">F</span>&nbsp;<span class="IdrisKeyword">=</span>&nbsp;<span class="IdrisData">0</span><br />
+<span class="IdrisFunction">Example1</span>&nbsp;<span class="IdrisKeyword">:</span>&nbsp;<span class="IdrisType">Nat</span><br />
+<span class="IdrisFunction">Example1</span>&nbsp;<span class="IdrisKeyword">=</span>&nbsp;<span class="IdrisData">0</span><br />
 </code>
 
-- 
cgit v1.2.3