/* End LCARStrek toolbox rules */
+:root {
+ font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
+ --monospace-font-family: "Liberation Mono", Consolas, "Courier New", monospace;
+ --monospace-font-size: 12px;
+}
/* Font for code */
.devtools-monospace {
- font: 12px "Liberation Mono", Consolas, "Courier New", monospace;
+ font-family: var(--monospace-font-family);
+ font-size: var(--monospace-font-size);
}
/* Splitters */
/* Dark and light theme */
.devtools-autocomplete-popup {
- border: 1px solid #FF9F00;
- background-color: #000000;
border-radius: 3px;
overflow-x: hidden;
max-height: 40rem;
}
.devtools-autocomplete-listbox > richlistitem > .autocomplete-count {
- text-align: right;
+ text-align: end;
}
-/* Rest of the light theme */
+/* Rest of the dark and light theme */
+
+.devtools-autocomplete-popup,
+.CodeMirror-hints,
+.CodeMirror-Tern-tooltip {
+ border: 1px solid #FF9F00;
+ background-color: #000000;
+}
.devtools-autocomplete-popup.light-theme {
}
min-width: 100px;
max-width: 400px;
}
-.devtools-tooltip[clamped-dimensions] .panel-arrowcontent {
+.devtools-tooltip[clamped-dimensions-no-min-height] {
+ min-height: 0;
+ max-height: 400px;
+ min-width: 100px;
+ max-width: 400px;
+}
+.devtools-tooltip[clamped-dimensions-no-max-or-min-height] {
+ min-width: 400px;
+ max-width: 400px;
+}
+.devtools-tooltip[clamped-dimensions] .panel-arrowcontent,
+.devtools-tooltip[clamped-dimensions-no-min-height] .panel-arrowcontent,
+.devtools-tooltip[clamped-dimensions-no-max-or-min-height] .panel-arrowcontent {
overflow: hidden;
}
+.devtools-tooltip[wide] {
+ max-width: 600px;
+}
/* Tooltip: Simple Text */
margin-bottom: -4px;
}
-/* Tooltip: Font Family Previewer Text */
-.devtools-tooltip-font-previewer-text {
- max-width: 400px;
- line-height: 1.5;
- font-size: 150%;
- text-align: center;
-}
-
/* Tooltip: Alert Icon */
.devtools-tooltip-alert-icon {
margin: -4px; /* Compensate for the .panel-arrowcontent padding. */
}
+.devtools-tooltip-variables-view-box .variable-or-property > .title {
+ -moz-padding-end: 6px;
+}
+
/* Tooltip: Tiles */
.devtools-tooltip-tiles {
height: 120px;
background-color: transparent;
border: none;
+ padding: 0;
+}
+
+#color-value {
+ color: #FF9F00;
+}
+
+#color-value.highlight {
+ color: #FFCF00;
+}
+
+/* Links to source code, like displaying `myfile.js:45` */
+
+.devtools-source-link {
+ font-family: var(--monospace-font-family);
+ color: var(--theme-text-blue);
+ cursor: pointer;
+ white-space: nowrap;
+ display: flex;
+ align-self: flex-start;
+ text-decoration: none;
+ font-size: 11px;
+ width: 12em; /* probably should be changed for each tool */
+}
+
+.devtools-source-link:hover {
+ text-decoration: underline;
+}
+
+.devtools-source-link > .filename {
+ text-overflow: ellipsis;
+ text-align: end;
+ overflow: hidden;
+ margin: 2px 0px;
+ cursor: pointer;
+}
+
+.devtools-source-link > .line-number {
+ flex: none;
+ margin: 2px 0px;
+ cursor: pointer;
}
/* === END common.inc.css === */