use fa

[www.git] / docinfo.html

diff --git a/docinfo.html b/docinfo.html
index c85a862..de41d49 100644 (file)
--- a/docinfo.html
+++ b/docinfo.html
@@ -1,3 +1,3 @@
-<link rel="stylesheet" href="style.css">

 <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script>
 <script src="nav.js"></script>
 <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script>
 <script src="nav.js"></script>

+<link rel="stylesheet" href="font-awesome/css/font-awesome.min.css">