border-bottom-left-radius: 0;
margin-bottom: 0;
}
-#bootstrap-theme .panel-heading li>a {
- background-color: #f1f1f18c
+#bootstrap-theme .panel-heading li > a {
+ background-color: #f1f1f18c;
}
#bootstrap-theme.api4-explorer-page .explorer-code-panel pre {
min-height: 3.3em;
width: 20em;
}
+#bootstrap-theme.api4-explorer-page .form-control.api4-index {
+ width: 8em;
+}
+
/* Another weird shoreditch fix */
#bootstrap-theme .form-inline div.checkbox {
margin-right: 1em;