Italicize first (wpilibsuite#1434)

* Italicize FIRST everywhere

The text "FIRST" appears on the page in a number of spots where we can't italicize it normally in the RST (navbar heading, copywrite notice, etc.) so this JS finds all instances and italicizes.

* Remove extra spaces

Remove extra spaces

source/_static/js/italicize_first.js

@@ -0,0 +1,10 @@
+$(document).ready(function () {
+    // get all body content as a string
+   var str = document.body.innerHTML;
+
+   // find all magic words and wrap them in a <em> tag
+   var result = str.replace(/(FIRST)/g, "<em>$1</em>");
+
+   // set all body content HTML with new processed content
+   document.body.innerHTML = result;
+});

source/conf.py

@@ -200,6 +200,9 @@ def setup(app):
     # Launch external links in a new tab/window
     app.add_js_file("js/external-links-new-tab.js")
 
+    # Italicize instances of FIRST
+    app.add_js_file("js/italicize_first.js")
+
 
 # -- Options for latex generation --------------------------------------------