Merge c9877ee into 0873973

button · Apr 10, 2020 · e84b52c · e84b52c
2 parents 0873973 + c9877ee
commit e84b52c
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