From dfee47ca81ffce3e540952abcbdd591ff341e3e7 Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@digitalgrammars.com>
Date: Thu, 29 Nov 2018 13:06:02 +0100
Subject: [PATCH] Include FontAwesome icons in template

---
 doc/synopsis/template.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/synopsis/template.html b/doc/synopsis/template.html
index fbbac0a2e..9c267d03f 100644
--- a/doc/synopsis/template.html
+++ b/doc/synopsis/template.html
@@ -14,6 +14,7 @@ $if(keywords)$
 $endif$
   <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>
   <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/css/bootstrap.min.css" integrity="sha384-MCw98/SFnGE8fJT3GXwEOngsV7Zt27NXFoaoApmYm81iuXoPkFOJwJ8ERdknLPMO" crossorigin="anonymous">
+  <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.4.2/css/all.css" integrity="sha384-/rXc/GQVaYpyDdyxK+ecHPVYJSN9bmVFBvjA/9eOB+pb3F2w2N6fc5qB9Ew5yIns" crossorigin="anonymous">
 $for(css)$
   <link rel="stylesheet" href="$css$" />
 $endfor$