2019-12-18 16:25:03 -05:00
|
|
|
/* Looking Glass */
|
|
|
|
|
2020-05-31 16:31:48 -04:00
|
|
|
$text_fg_color: #ccc;
|
|
|
|
|
2019-12-18 16:25:03 -05:00
|
|
|
// Dialog
|
|
|
|
#LookingGlassDialog {
|
2019-12-19 10:38:27 -05:00
|
|
|
background-color: $osd_bg_color;
|
|
|
|
spacing: $base_spacing;
|
|
|
|
padding: 4px;
|
2020-02-19 04:36:23 -05:00
|
|
|
border: 1px solid transparentize($osd_fg_color, 0.8);
|
|
|
|
border-radius: $base_border_radius;
|
|
|
|
color: $osd_fg_color;
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
& > #Toolbar {
|
|
|
|
border: none;
|
|
|
|
border-radius: $base_border_radius;
|
2020-02-19 04:36:23 -05:00
|
|
|
background-color: $osd_bg_color;
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
.labels { spacing: $base_spacing; }
|
|
|
|
.notebook-tab {
|
|
|
|
-natural-hpadding: $base_padding * 2;
|
|
|
|
-minimum-hpadding: 6px;
|
|
|
|
font-weight: bold;
|
2020-02-19 04:36:23 -05:00
|
|
|
color: darken($osd_fg_color, 15%);
|
2019-12-19 10:38:27 -05:00
|
|
|
transition-duration: 100ms;
|
|
|
|
padding-left: .3em;
|
|
|
|
padding-right: .3em;
|
2020-02-19 04:36:23 -05:00
|
|
|
border-bottom-width: 2px;
|
2019-12-19 10:38:27 -05:00
|
|
|
&:hover {
|
2020-02-19 04:36:23 -05:00
|
|
|
color: $osd_fg_color;
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
|
|
|
&:selected {
|
|
|
|
border-bottom-width: 2px;
|
2020-02-19 04:36:23 -05:00
|
|
|
box-shadow: inset 0 -2px 0 0 lighten($selected_bg_color, 5%);
|
|
|
|
color: $osd_fg_color;
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
StBoxLayout#EvalBox { padding: 4px; spacing: $base_spacing; }
|
|
|
|
StBoxLayout#ResultsArea { spacing: $base_spacing; }
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.lg-dialog {
|
2019-12-19 10:38:27 -05:00
|
|
|
StEntry {
|
2020-02-19 04:36:23 -05:00
|
|
|
background-color: transparentize(lighten($osd_bg_color, 5%), 0.4);
|
|
|
|
color: $osd_fg_color;
|
|
|
|
border-color: transparentize($osd_fg_color, 0.8);
|
|
|
|
min-height: 22px;
|
|
|
|
selection-background-color: $selected_bg_color;
|
|
|
|
selected-color: $selected_fg_color;
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
|
|
|
.shell-link {
|
2020-02-19 04:36:23 -05:00
|
|
|
color: $link_color;
|
|
|
|
&:hover { color: lighten($link_color, 10%); }
|
|
|
|
&:active { color: darken($link_color, 10%); }
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
2020-05-31 16:31:48 -04:00
|
|
|
.actor-link {
|
|
|
|
color: $text_fg_color;
|
|
|
|
&:hover { color: lighten($text_fg_color, 20%); }
|
|
|
|
&:active { color: darken($text_fg_color, 20%); }
|
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.lg-completions-text {
|
2019-12-19 10:38:27 -05:00
|
|
|
font-size: .9em;
|
|
|
|
font-style: italic;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.lg-obj-inspector-title {
|
2019-12-19 10:38:27 -05:00
|
|
|
spacing: $base_spacing;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.lg-obj-inspector-button {
|
2020-02-19 04:36:23 -05:00
|
|
|
border: 1px solid $osd_borders_color;
|
2019-12-19 10:38:27 -05:00
|
|
|
padding: 4px;
|
|
|
|
border-radius: $base_border_radius;
|
|
|
|
&:hover { border: 1px solid #ffffff; }
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Extensions
|
|
|
|
#lookingGlassExtensions { padding: 4px; }
|
|
|
|
|
|
|
|
.lg-extensions-list {
|
2019-12-19 10:38:27 -05:00
|
|
|
padding: 4px;
|
|
|
|
spacing: 6px;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.lg-extension {
|
2020-02-19 04:36:23 -05:00
|
|
|
border: 1px solid lighten($osd_borders_color, 5%);
|
|
|
|
background-color: lighten($osd_bg_color, 5%);
|
2019-12-19 10:38:27 -05:00
|
|
|
border-radius: $base_border_radius;
|
|
|
|
padding: 4px;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.lg-extension-name {
|
2019-12-19 10:38:27 -05:00
|
|
|
font-weight: bold;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.lg-extension-meta {
|
2019-12-19 10:38:27 -05:00
|
|
|
spacing: 6px;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Inspector
|
|
|
|
#LookingGlassPropertyInspector {
|
2019-12-19 10:38:27 -05:00
|
|
|
background: $osd_bg_color;
|
|
|
|
border: 1px solid $osd_borders_color;
|
|
|
|
border-radius: $base_border_radius;
|
|
|
|
padding: 6px;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|