Add first version of introduction text.

maxhallinan · Oct 1, 2019 · 483b550 · 483b550
1 parent afaf728
commit 483b550
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/public/index.html b/public/index.html
@@ -18,6 +18,12 @@
           <h1>Lambda stepper</h1>
           <p class="byline">By <a href="https://www.maxhallinan.com">Max Hallinan</a></p>
         </header>
+        <p>
+Use your cursor explore the Lambda calculus. 
+A <span class="reduceable">dotted underline</span> indicates the largest reduceable term.
+You can hover over this to find <span class="todo">smaller reduceable</span> terms.
+Hover on a <span class="done">reduced term</span> to find the <span class="success">result</span>.
+        </p>
       </div>
       <div class="stepper">
         <code>

diff --git a/public/styles.css b/public/styles.css
@@ -59,7 +59,6 @@ h6 {
 
 .prose {
   font-family: "TiemposText", serif;
-  hyphens: auto;
 }
 
 .prose h1,
@@ -200,22 +199,26 @@ h6 {
   font-size: 1.125rem;
 }
 
+.prose .done,
 .line .done {
   text-decoration: line-through;
   text-decoration-style: solid;
 }
 
+.prose .success,
 .line .success {
   background: rgba(81,232,152,0.5);
   cursor: default;
   text-decoration: none;
 }
 
+.prose .reduceable,
 .line.last .reduceable {
   text-decoration: underline;
   text-decoration-style: dotted;
 }
 
+.prose .todo,
 .line.last .todo {
   background: rgba(242,214,0,0.5);
   cursor: pointer;