Use small caps for tools

css/default.css

@@ -45,6 +45,13 @@ h2 {
   font-size: 20px;
 }
 
+.tool {
+  font-variant: small-caps;
+  font-weight: bold;
+  color: #444;
+  font-size: 18px;
+}
+
 img.link {
   width: 32px;
   height: 32px;

docs/index.html

@@ -16,7 +16,7 @@
     <div id="content">
       <h1 id="research">Research</h1>
 <h2 id="program-synthesis-using-example-propagation"><a href="https://rdcu.be/c26m0">Program Synthesis Using Example Propagation</a></h2>
-<p>We present Scrybe, an example-based synthesis tool for a statically-typed functional programming language, which combines topdown deductive reasoning in the style of <span class="math inline">λ<sup>2</sup></span> with Smyth-style live bidirectional evaluation. During synthesis, example constraints are propagated through sketches to prune and guide the search. This enables Scrybe to make more effective use of functions provided in the context. To evaluate our tool, it is run on the combined, largely disjoint, benchmarks of <span class="math inline">λ<sup>2</sup></span> and Myth. Scrybe is able to synthesize most of the combined benchmark tasks.</p>
+<p>We present <span class="tool">Scrybe</span>, an example-based synthesis tool for a statically-typed functional programming language, which combines topdown deductive reasoning in the style of <span class="math inline">λ<sup>2</sup></span> with <span class="tool">Smyth</span>-style live bidirectional evaluation. During synthesis, example constraints are propagated through sketches to prune and guide the search. This enables <span class="tool">Scrybe</span> to make more effective use of functions provided in the context. To evaluate our tool, it is run on the combined, largely disjoint, benchmarks of <span class="math inline">λ<sup>2</sup></span> and <span class="tool">Myth</span>. <span class="tool">Scrybe</span> is able to synthesize most of the combined benchmark tasks.</p>
     </div>
 
     <div id="links">

index.md

@@ -2,11 +2,12 @@
 
 ## [Program Synthesis Using Example Propagation](https://rdcu.be/c26m0)
 
-We present Scrybe, an example-based synthesis tool for a statically-typed
-functional programming language, which combines topdown deductive reasoning in
-the style of $λ^2$ with Smyth-style live bidirectional evaluation. During
-synthesis, example constraints are propagated through sketches to prune and
-guide the search. This enables Scrybe to make more effective use of functions
-provided in the context. To evaluate our tool, it is run on the combined,
-largely disjoint, benchmarks of $λ^2$ and Myth. Scrybe is able to synthesize
-most of the combined benchmark tasks.
+We present [Scrybe]{.tool}, an example-based synthesis tool for a
+statically-typed functional programming language, which combines topdown
+deductive reasoning in the style of $λ^2$ with [Smyth]{.tool}-style live
+bidirectional evaluation. During synthesis, example constraints are propagated
+through sketches to prune and guide the search. This enables [Scrybe]{.tool} to
+make more effective use of functions provided in the context. To evaluate our
+tool, it is run on the combined, largely disjoint, benchmarks of $λ^2$ and
+[Myth]{.tool}. [Scrybe]{.tool} is able to synthesize most of the combined
+benchmark tasks.