diff --git a/docs/_includes/masthead.html b/docs/_includes/masthead.html index 325e5d96..b78c80f9 100644 --- a/docs/_includes/masthead.html +++ b/docs/_includes/masthead.html @@ -1,73 +1,73 @@ {% capture logo_path %}{{ site.logo }}{% endcapture %}
-
-
- -
-
+
+
+ +
+
\ No newline at end of file diff --git a/docs/_includes/repl.html b/docs/_includes/repl.html index 22ea0e16..df27a792 100644 --- a/docs/_includes/repl.html +++ b/docs/_includes/repl.html @@ -1,35 +1,35 @@
-
- -
- -
- - - -
-
-
- -
- -
+
+ +
+ +
+ + + +
+
+
+ +
+ +
@@ -39,49 +39,49 @@ @@ -89,62 +89,62 @@