theme: use spaces instead of tabs

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/904

1 files changed, 242 insertions, 242 deletions

diff --git a/data/theme/gnome-shell-sass/widgets/_calendar.scss b/data/theme/gnome-shell-sass/widgets/_calendar.scss
index 6e86490a7..20d68a22d 100644
--- a/data/theme/gnome-shell-sass/widgets/_calendar.scss
+++ b/data/theme/gnome-shell-sass/widgets/_calendar.scss
@@ -2,267 +2,267 @@
 
 // overall menu
 #calendarArea {
-	padding:0;
-	margin:0;
+  padding:0;
+  margin:0;
 }
 
 // Calendar menu side column
 .datemenu-calendar-column {
-	spacing: 0;
-	border: 0 solid $bubble_borders_color;
-	padding: $base_padding + $base_margin;
-	padding-bottom: 3em; // account for the notifications clear button
-	padding-top:0;
-
-	&:ltr { border-left-width: 1px; }
-	&:rtl { border-right-width: 1px; }
-
-
-	// today button (the date)
-	.datemenu-today-button {
-		padding: $base_padding * 1.5;
-		margin: $base_margin;
-		border: 1px solid transparent;
-
-		&:focus,
-		&:hover {
-			border-radius:$base_border_radius + 2px;
-			margin-top: $base_margin - 1px;
-			margin-bottom: $base_margin + 1px;
-		}
-
-		&:hover { @include button(hover);}
-		&:focus { @include button(focus);}
-
-		&:active { 
-			@include button(active);
-			margin: $base_margin;
-		}
-
-		// weekday label
-		.day-label {
-			font-size: $base_font_size + 1pt;
-			font-weight: bold;
-		}
-
-		// date label
-		.date-label {
-			font-size: $base_font_size * 1.5;
-			font-weight: 1000;
-		}
-	}
-
-	// calendar
-	.calendar {
-		@extend %notification_bubble;
-		margin:$base_margin !important;
-		margin-bottom: $base_padding + $base_margin !important;
-		padding:$base_padding !important;
-
-		// more below for sub-elements
-	}
-
-	.datemenu-displays-section {
-		margin:0;
-	}
-
-	.datemenu-displays-box {
-		spacing: $base_spacing;
-		margin:0;
-
-		// world clocks and weather
-		.world-clocks-button,
-		.weather-button {
-			@extend %notification_bubble;
-			padding:$base_padding !important;
-		}
-	}
+  spacing: 0;
+  border: 0 solid $bubble_borders_color;
+  padding: $base_padding + $base_margin;
+  padding-bottom: 3em; // account for the notifications clear button
+  padding-top:0;
+
+  &:ltr { border-left-width: 1px; }
+  &:rtl { border-right-width: 1px; }
+
+
+  // today button (the date)
+  .datemenu-today-button {
+    padding: $base_padding * 1.5;
+    margin: $base_margin;
+    border: 1px solid transparent;
+
+    &:focus,
+    &:hover {
+      border-radius:$base_border_radius + 2px;
+      margin-top: $base_margin - 1px;
+      margin-bottom: $base_margin + 1px;
+    }
+
+    &:hover { @include button(hover);}
+    &:focus { @include button(focus);}
+
+    &:active { 
+      @include button(active);
+      margin: $base_margin;
+    }
+
+    // weekday label
+    .day-label {
+      font-size: $base_font_size + 1pt;
+      font-weight: bold;
+    }
+
+    // date label
+    .date-label {
+      font-size: $base_font_size * 1.5;
+      font-weight: 1000;
+    }
+  }
+
+  // calendar
+  .calendar {
+    @extend %notification_bubble;
+    margin:$base_margin !important;
+    margin-bottom: $base_padding + $base_margin !important;
+    padding:$base_padding !important;
+
+    // more below for sub-elements
+  }
+
+  .datemenu-displays-section {
+    margin:0;
+  }
+
+  .datemenu-displays-box {
+    spacing: $base_spacing;
+    margin:0;
+
+    // world clocks and weather
+    .world-clocks-button,
+    .weather-button {
+      @extend %notification_bubble;
+      padding:$base_padding !important;
+    }
+  }
 }
 
 .events-section-title {
-	color: desaturate(darken($fg_color,40%), 10%);
-	font-weight: bold;
-	border-radius: 4px;
-	padding: .4em;
+  color: desaturate(darken($fg_color,40%), 10%);
+  font-weight: bold;
+  border-radius: 4px;
+  padding: .4em;
 }
 
 /* Calendar */
 .calendar {
 
-	// month
-	.calendar-month-label {
-		color: lighten($fg_color,5%);
-		font-weight: bold;
-		padding: 8px 0;
-		&:focus {}
-	}
-
-	// prev/next month icons
-	.calendar-change-month-back StIcon,
-	.calendar-change-month-forward StIcon {
-		icon-size: $base_icon_size;
-	}
-
-	.pager-button {
-		background-color: transparent;
-		height: 32px;
-		width: 32px;
-		border-radius: $base_border_radius;
-		&:hover, &:focus { background-color: lighten($hover_bg_color, 5%); }
-		&:active { background-color: $active_bg_color; }
-	}
-
-
-	$calendar_day_size: 32px;
-
-	.calendar-day-base {
-		font-size: 80%;
-		text-align: center;
-		width: $calendar_day_size;
-		height: $calendar_day_size;
-		padding: 0;
-		margin: 2px;
-		border-radius: $calendar_day_size * 0.5 + 2px;
-		border: 1px solid transparent; //avoid jumparound due to today
-		font-feature-settings: "tnum";
-		&:hover, &:focus { background-color: $hover_bg_color; }
-		&:active,&:selected {
-			color: lighten($fg_color,10%);
-			background-color: darken($bg_color,5%);
-		}
-
-		// day of week heading
-		&.calendar-day-heading {
-			color: lighten($fg_color,10%);
-			margin-top: 1em;
-			font-size: 70%;
-		}
-	}
-	.calendar-day { //border collapse hack - see calendar.js
-		border-width: 0;
-	}
-
-	.calendar-day-top {
-		border-top-width: 1px;
-	}
-
-	.calendar-day-left { border-left-width: 1px; }
-	.calendar-work-day {}
-	.calendar-nonwork-day {
-		color: $insensitive_fg_color;
-	}
-
-	// Today
-	.calendar-today {
-		font-weight: bold;
-		border: 1px solid transparent;
-		background-color: $selected_bg_color;
-		color: $selected_fg_color;
-
-		&:hover,&:focus {
-			background-color:lighten($selected_bg_color, 3%);
-			color: $selected_fg_color;
-		}
-
-		&:active,&:selected {
-			background-color: $selected_bg_color;
-			color: $selected_fg_color;
-			&:hover,&:focus {
-				background-color:lighten($selected_bg_color, 3%);
-				color: $selected_fg_color;
-			}
-		}
-
-	}
-	.calendar-day-with-events {
-		color: lighten($fg_color,10%);
-		font-weight: bold;
-		background-image: url("resource:///org/gnome/shell/theme/calendar-today.svg");
-	}
-
-	.calendar-other-month-day {
-		color: transparentize($fg_color ,0.5);
-		opacity: 0.5;
-	}
-
-	.calendar-week-number {
-		font-size: 70%;
-		font-weight: bold;
-		height: 1.8em;
-		width: 2.3em; 
-		border-radius: 2px;
-		padding: 0.5em 0 0;
-		margin: 6px;
-		background-color: darken($bg_color, 2%);
-		color: lighten($fg_color, 5%);
-	}
+  // month
+  .calendar-month-label {
+    color: lighten($fg_color,5%);
+    font-weight: bold;
+    padding: 8px 0;
+    &:focus {}
+  }
+
+  // prev/next month icons
+  .calendar-change-month-back StIcon,
+  .calendar-change-month-forward StIcon {
+    icon-size: $base_icon_size;
+  }
+
+  .pager-button {
+    background-color: transparent;
+    height: 32px;
+    width: 32px;
+    border-radius: $base_border_radius;
+    &:hover, &:focus { background-color: lighten($hover_bg_color, 5%); }
+    &:active { background-color: $active_bg_color; }
+  }
+
+
+  $calendar_day_size: 32px;
+
+  .calendar-day-base {
+    font-size: 80%;
+    text-align: center;
+    width: $calendar_day_size;
+    height: $calendar_day_size;
+    padding: 0;
+    margin: 2px;
+    border-radius: $calendar_day_size * 0.5 + 2px;
+    border: 1px solid transparent; //avoid jumparound due to today
+    font-feature-settings: "tnum";
+    &:hover, &:focus { background-color: $hover_bg_color; }
+    &:active,&:selected {
+      color: lighten($fg_color,10%);
+      background-color: darken($bg_color,5%);
+    }
+
+    // day of week heading
+    &.calendar-day-heading {
+      color: lighten($fg_color,10%);
+      margin-top: 1em;
+      font-size: 70%;
+    }
+  }
+  .calendar-day { //border collapse hack - see calendar.js
+    border-width: 0;
+  }
+
+  .calendar-day-top {
+    border-top-width: 1px;
+  }
+
+  .calendar-day-left { border-left-width: 1px; }
+  .calendar-work-day {}
+  .calendar-nonwork-day {
+    color: $insensitive_fg_color;
+  }
+
+  // Today
+  .calendar-today {
+    font-weight: bold;
+    border: 1px solid transparent;
+    background-color: $selected_bg_color;
+    color: $selected_fg_color;
+
+    &:hover,&:focus {
+      background-color:lighten($selected_bg_color, 3%);
+      color: $selected_fg_color;
+    }
+
+    &:active,&:selected {
+      background-color: $selected_bg_color;
+      color: $selected_fg_color;
+      &:hover,&:focus {
+        background-color:lighten($selected_bg_color, 3%);
+        color: $selected_fg_color;
+      }
+    }
+
+  }
+  .calendar-day-with-events {
+    color: lighten($fg_color,10%);
+    font-weight: bold;
+    background-image: url("resource:///org/gnome/shell/theme/calendar-today.svg");
+  }
+
+  .calendar-other-month-day {
+    color: transparentize($fg_color ,0.5);
+    opacity: 0.5;
+  }
+
+  .calendar-week-number {
+    font-size: 70%;
+    font-weight: bold;
+    height: 1.8em;
+    width: 2.3em; 
+    border-radius: 2px;
+    padding: 0.5em 0 0;
+    margin: 6px;
+    background-color: darken($bg_color, 2%);
+    color: lighten($fg_color, 5%);
+  }
 }
 
 
 /* Weather */
 .weather-box {
-	spacing: $base_spacing;
-	padding:$base_padding;
-
-	.weather-header {
-		color: desaturate(darken($fg_color,40%), 10%);
-		font-weight: bold;
-		&.location {
-			font-weight: normal;
-			font-size: $base_font_size - 1pt;
-		}
-	}
-
-	.weather-grid {
-		margin-top: $base_margin;
-		spacing-rows: $base_spacing;
-		spacing-columns: $base_spacing * 2;
-	}
-
-	.weather-forecast-icon {
-		icon-size: $base_icon_size * 2;
-	}
-
-	.weather-forecast-time {
-		color: darken($fg_color,30%);
-		font-feature-settings: "tnum";
-		font-size: $base_font_size - 2pt;
-		font-weight: normal;
-	}
+  spacing: $base_spacing;
+  padding:$base_padding;
+
+  .weather-header {
+    color: desaturate(darken($fg_color,40%), 10%);
+    font-weight: bold;
+    &.location {
+      font-weight: normal;
+      font-size: $base_font_size - 1pt;
+    }
+  }
+
+  .weather-grid {
+    margin-top: $base_margin;
+    spacing-rows: $base_spacing;
+    spacing-columns: $base_spacing * 2;
+  }
+
+  .weather-forecast-icon {
+    icon-size: $base_icon_size * 2;
+  }
+
+  .weather-forecast-time {
+    color: darken($fg_color,30%);
+    font-feature-settings: "tnum";
+    font-size: $base_font_size - 2pt;
+    font-weight: normal;
+  }
 }
 
 /* World clocks */
 .world-clocks-grid {
-	padding:$base_padding;
-	spacing-rows: $base_spacing;
-	spacing-columns: $base_spacing * 2;
-
-	// title
-	.world-clocks-header {
-		color: desaturate(darken($fg_color,40%), 10%);
-		font-weight: bold;
-	}
-
-	// city label
-	.world-clocks-city {
-		color: $fg_color;
-		font-size: $base_font_size;
-		font-weight: normal;
-	}
-
-	// timezone time
-	.world-clocks-time {
-		font-weight: bold;
-		color: $fg_color;
-		font-feature-settings: "lnum";
-		font-size: $base_font_size;
-		text-align:right;
-	}
-
-	// timezone offset label
-	.world-clocks-timezone {
-		color: darken($fg_color,20%);
-		font-feature-settings: "tnum";
-		font-size: $base_font_size - 1pt;
-	}
+  padding:$base_padding;
+  spacing-rows: $base_spacing;
+  spacing-columns: $base_spacing * 2;
+
+  // title
+  .world-clocks-header {
+    color: desaturate(darken($fg_color,40%), 10%);
+    font-weight: bold;
+  }
+
+  // city label
+  .world-clocks-city {
+    color: $fg_color;
+    font-size: $base_font_size;
+    font-weight: normal;
+  }
+
+  // timezone time
+  .world-clocks-time {
+    font-weight: bold;
+    color: $fg_color;
+    font-feature-settings: "lnum";
+    font-size: $base_font_size;
+    text-align:right;
+  }
+
+  // timezone offset label
+  .world-clocks-timezone {
+    color: darken($fg_color,20%);
+    font-feature-settings: "tnum";
+    font-size: $base_font_size - 1pt;
+  }
 }
\ No newline at end of file