Merge dee3fe3 into 7843578

button · Apr 10, 2020 · 00921d6 · 00921d6
2 parents 7843578 + dee3fe3
commit 00921d6
Show file tree

Hide file tree

Showing 69 changed files with 21,084 additions and 2 deletions.
diff --git a/docs/history/1.1.2/assets/customizations.css b/docs/history/1.1.2/assets/customizations.css
@@ -0,0 +1,7 @@
+#header {
+  border-bottom: 3px solid #0767a4;
+}
+
+#search_filtered .jd-selected {
+  background-color: #0767a4;
+}
diff --git a/docs/history/1.1.2/assets/customizations.js b/docs/history/1.1.2/assets/customizations.js