+/* HTML buttons, similar to toolbar buttons, but work in HTML documents */
+
+.devtools-button {
+ border: 0 solid var(--theme-splitter-color);
+ background: var(--theme-toolbar-background);
+ color: var(--theme-body-color);
+ margin: 0;
+ padding: 0;
+ min-width: 32px;
+ min-height: 18px;
+ /* The icon is absolutely positioned in the button using ::before */
+ position: relative;
+}
+
+.devtools-button[standalone] {
+ min-height: 32px;
+ border-width: 1px;
+}
+
+/* Button States */
+.devtools-button:not([disabled]):hover {
+ background: var(--theme-hover-background);
+ color: var(--theme-hover-color);
+}
+
+.devtools-button:not([disabled]):hover:active {
+ background: var(--theme-active-background);
+ color: var(--theme-active-color);
+}
+
+/* Menu type buttons and checked states */
+.devtools-button[checked] {
+ background: var(--theme-selection-background);
+ color: var(--theme-selection-color);
+}
+
+.devtools-button::before {
+ content: "";
+ display: block;
+ width: 16px;
+ height: 16px;
+ position: absolute;
+ left: 50%;
+ top: 50%;
+ margin: -8px 0 0 -8px;
+ background-repeat: no-repeat;
+}
+
+.devtools-button[disabled]::before,
+.devtools-button:disabled::before {
+ opacity: 0.5;
+}
+
+@media (min-resolution: 1.25dppx) {
+ .devtools-button::before {
+ background-size: 32px;
+ }
+}
+