Codebase list gnome-shell-extensions / 07c329c data / gnome-shell-sass / widgets / _window-picker.scss
07c329c

Tree @07c329c (Download .tar.gz)

_window-picker.scss @07c329craw · history · blame

/* Window Picker */

$window_picker_spacing: $base_padding; // 6px
$window_picker_padding: $base_padding * 2; // 12px

$window_thumbnail_label_color: transparentize($osd_bg_color, 0.4);

$window_close_button_color: darken(transparentize($osd_bg_color, .05), 3%);
$window_close_button_size: 30px;
$window_close_button_padding: 3px;

// Window picker
.window-picker {
  // Space between window thumbnails
  spacing: $window_picker_spacing;
}

// Window titles
.window-caption {
  color: $osd_fg_color;
  background-color: $osd_bg_color;
  border-radius: 99px;
  padding: $base_padding $base_padding * 2;
}

// Close button
.window-close {
  background-color: $window_close_button_color;
  color: $osd_fg_color;
  border-radius: 99px;
  padding: $window_close_button_padding;
  height: $window_close_button_size;
  width: $window_close_button_size;
  transition-duration: 300ms;

  & StIcon { icon-size: 24px; } // uses non standard icon size

  &:hover {
    background-color: mix($osd_fg_color, $window_close_button_color, 15%);
  }

  &:active {
    color: transparentize($osd_fg_color, 0.2);
    background-color: darken($window_close_button_color, 5%);
  }
}

.workspace-background {
  // keep in sync with BACKGROUND_CORNER_RADIUS_PIXELS in workspace.js
  border-radius: 30px;
  box-shadow: 0 4px 16px 4px transparentize(darken($osd_bg_color, 30%), 0.7);
}