content: "\f0d7";
}
+#bootstrap-theme.api4-explorer-page .form-control.huge {
+ width: 25em;
+}
+
+#bootstrap-theme.api4-explorer-page .form-control.twenty {
+ width: 20em;
+}
+
/* Another weird shoreditch fix */
#bootstrap-theme .form-inline div.checkbox {
margin-right: 1em;