Monoid -> Iosevka

[ci skip]

Author: yurrriq

README.md

@@ -25,7 +25,7 @@ Others may work, but here are the versions I'm using.
 | [latexmk][]      |                                  4.52c |
 | [Make][]         |                                  4.2.1 |
 | [minted][]       |                                  2.4.1 |
-| [Monoid][]       |                                   0.61 |
+| [Iosevka][]      |                                 1.14.3 |
 | [Pandoc][]       |                               1.19.2.1 |
 | [pandoc-types][] |                               1.17.0.5 |
 | [Python][]       |                                  3.6.1 |
@@ -46,7 +46,7 @@ Others may work, but here are the versions I'm using.
 [latexmk]: https://www.ctan.org/pkg/latexmk/
 [Make]: https://www.gnu.org/software/make/
 [minted]: http://www.ctan.org/pkg/minted
-[Monoid]: http://larsenwork.com/monoid/
+[Iosevka]: https://be5invis.github.io/Iosevka/
 [Pandoc]: http://pandoc.org
 [pandoc-types]: https://github.com/jgm/pandoc-types
 [Python]: https://www.python.org

docs/index.html

@@ -83,6 +83,7 @@
 <h1 class="title">Software Foundations in Idris</h1>
 </header>
 <h1 id="software-foundations-in-idris"><em><a href="http://www.cis.upenn.edu/%7Ebcpierce/sf/current/index.html">Software Foundations</a> in Idris</em></h1>
+<p><a href="https://travis-ci.org/idris-hackers/software-foundations"><img src="https://travis-ci.org/idris-hackers/software-foundations.svg?branch=develop" alt="Build Status" /></a></p>
 <p>📖 <a href="https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf">Download the PDF</a></p>
 <h2 id="building">Building</h2>
 <p>To rebuild the PDF, ensure the <a href="#prerequisites">prerequisites</a> are installed, then:</p>
@@ -119,8 +120,8 @@ <h3 id="prerequisites">Prerequisites</h3>
 <td>2.4.1</td>
 </tr>
 <tr class="even">
-<td><a href="http://larsenwork.com/monoid/">Monoid</a></td>
-<td>0.61</td>
+<td><a href="https://be5invis.github.io/Iosevka/">Iosevka</a></td>
+<td>1.14.3</td>
 </tr>
 <tr class="odd">
 <td><a href="http://pandoc.org">Pandoc</a></td>

prerequisites_macOS.md

@@ -36,7 +36,7 @@ You might want to add cabal to your `PATH` permanently.
 pip install --user Pygments
 ```
 
-## Install Monoid font
+## Install Iosevka font
 
-Download the [Monoid font](http://larsenwork.com/monoid/) and put the `ttf`-files into `/Library/Fonts` directory.
+Download the [Iosevka font](https://be5invis.github.io/Iosevka/) and put the `ttf`-files into `/Library/Fonts` directory.
 Reboot to let macOS find the font.