Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							896f5c7d41
							
						
					 | 
					
						
						
							
							Gnome-Shell: minor theme fixes
						
						
						
						
						
						
					 | 
					
						2023-04-03 16:43:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							9e35215cf1
							
						
					 | 
					
						
						
							
							Gnome-Shell: regenerate themes
						
						
						
						
						
						
					 | 
					
						2023-03-22 16:46:25 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							2d7e99683a
							
						
					 | 
					
						
						
							
							Gnome-Shell: Update theme for gnome 43
						
						
						
						
						
						
					 | 
					
						2022-09-19 19:40:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							58a21e15e7
							
						
					 | 
					
						
						
							
							Gnome-Shell: fix icon-shadow in dash
						
						
						
						
						
						
					 | 
					
						2022-04-20 19:55:17 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							251e07c229
							
						
					 | 
					
						
						
							
							Gnome-Shell: reduce opacity of panel shadow
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							578d50fe8a
							
						
					 | 
					
						
						
							
							Gnome-Shell: tweak theme shadows
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							853250e121
							
						
					 | 
					
						
						
							
							Gnome-Shell: theme workspace switcher
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							48c9290e05
							
						
					 | 
					
						
						
							
							Gnome-Shell: theme screenshot dialog
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							ce63319b99
							
						
					 | 
					
						
						
							
							Gnome-Shell: lighten icon shadow
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							1a2c2effbf
							
						
					 | 
					
						
						
							
							Gnome-Shell: tweak notifications in calendar panel
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							682ce6ec3d
							
						
					 | 
					
						
						
							
							Gnome-Shell: change bg colors of buttons and cards
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							f884956ec3
							
						
					 | 
					
						
						
							
							Gnome-Shell: change shadow to notification-banner
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							fd47a59861
							
						
					 | 
					
						
						
							
							Gnome-Shell: update popover theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							6cfd361e65
							
						
					 | 
					
						
						
							
							Gnome-Shell: tweak switches
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							eea71d890f
							
						
					 | 
					
						
						
							
							Gnome-Shell: update message list theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							7c41266871
							
						
					 | 
					
						
						
							
							Gnome-Shell: update upstream to 42.rc
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							910260d50c
							
						
					 | 
					
						
						
							
							Gnome-Shell: update switches theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:33 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							3b5b128c0b
							
						
					 | 
					
						
						
							
							Gnome-Shell: update checkbox theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:33 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							309a674687
							
						
					 | 
					
						
						
							
							Gnome-Shell: code cleanup
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:33 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							7e368dd4d5
							
						
					 | 
					
						
						
							
							Gnome-Shell: update calendar theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:33 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							55f1e71782
							
						
					 | 
					
						
						
							
							Gnome-Shell: remove slider barlevel border
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:33 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							58cfa4b066
							
						
					 | 
					
						
						
							
							Gnome-Shell: update keyboard theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							04bb75e6c0
							
						
					 | 
					
						
						
							
							Gnome-Shell: set recording indicator text color to white
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							080a8be821
							
						
					 | 
					
						
						
							
							Gnome-Shell: update dash theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							dcf4b45768
							
						
					 | 
					
						
						
							
							Gnome-Shell: update app-grid theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							52dda0cd78
							
						
					 | 
					
						
						
							
							Gnome-Shell: update panel theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							dbd71be448
							
						
					 | 
					
						
						
							
							Gnome-Shell: remove workspaces-switcher theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							bffccb82cc
							
						
					 | 
					
						
						
							
							Gnome-Shell: update slider theme tweaks
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							585d1f079a
							
						
					 | 
					
						
						
							
							Gnome-Shell: remove border to search results
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							eb8d00f902
							
						
					 | 
					
						
						
							
							Gnome-Shell: update theme tweaks for search-entry, search-results, and window-picker
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							886215c7cd
							
						
					 | 
					
						
						
							
							Gnome-Shell: reduce font size
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							79b1f40a43
							
						
					 | 
					
						
						
							
							Gnome-Shell: generate new gnome themes
						
						
						
						
						
						
					 | 
					
						2022-04-15 18:00:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							e042a6facb
							
						
					 | 
					
						
						
							
							Gnome-Shell: improve background for hovered items in calendar popover
						
						
						
						
						
						
					 | 
					
						2021-12-02 08:33:00 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							0d22bf8fb6
							
						
					 | 
					
						
						
							
							Gnome-Shell: Make some widgets in the calendar popup more flat
						
						
						
						
						
						
					 | 
					
						2021-11-10 09:53:38 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							92dc28a196
							
						
					 | 
					
						
						
							
							Gnome-Shell: remove dash-to-dock padding
						
						
						
						
						
						
					 | 
					
						2021-11-04 10:07:26 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							0fdf569b65
							
						
					 | 
					
						
						
							
							Gnome-Shell: shrink dash and add padding
						
						
						
						
						
						
					 | 
					
						2021-10-29 11:30:22 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							def2bc7054
							
						
					 | 
					
						
						
							
							Update css files
						
						
						
						
						
						
					 | 
					
						2021-10-28 11:00:06 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							c8197e7dd0
							
						
					 | 
					
						
						
							
							Revert "Move GNOME 40 themes to separate branch for release"
						
						
						
						
						
						
						
						This reverts commit 358f0559b67e2ac8e2bbacaf09f239ebd05d2e70. 
						
						
					 | 
					
						2021-10-13 10:19:15 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							358f0559b6
							
						
					 | 
					
						
						
							
							Move GNOME 40 themes to separate branch for release
						
						
						
						
						
						
					 | 
					
						2021-10-06 21:48:57 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							d6fb8b7607
							
						
					 | 
					
						
						
							
							Gnome-Shell: Update for GNOME 41
						
						
						
						
						
						
					 | 
					
						2021-09-23 09:25:09 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							dcbb4e6e4b
							
						
					 | 
					
						
						
							
							Gnome-Shell: Update for GNOME 40
						
						
						
						
						
						
					 | 
					
						2021-09-20 11:09:53 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
						
						
							
						
						
							e31e51c390
							
						
					 | 
					
						
						
							
							Gnome-Shell: Update for gnome 3.38.3
						
						
						
						
						
						
					 | 
					
						2021-02-02 09:34:16 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
						
						
							
						
						
							1db8c6a02c
							
						
					 | 
					
						
						
							
							Gnome-Shell: update gnome 3.38.2
						
						
						
						
						
						
					 | 
					
						2020-12-04 09:12:39 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
						
						
							
						
						
							93e92f5c5e
							
						
					 | 
					
						
						
							
							Gnome-Shell: update gnome 3.38.1
						
						
						
						
						
						
					 | 
					
						2020-10-28 12:40:31 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								DяA
							
						 
					 | 
					
						
						
						
						
							
						
						
							f3c7ad16c6
							
						
					 | 
					
						
						
							
							Gnome-Shell: Theme update for 3.38
						
						
						
						
						
						
					 | 
					
						2020-10-02 08:18:56 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
						
						
							
						
						
							ab9324cffa
							
						
					 | 
					
						
						
							
							Revert "Gnome-Shell: Update 3.37.92: prepare for update 3.38"
						
						
						
						
						
						
						
						This reverts commit ea2d98d25fae7c92a301ca3b99c84759d312a95a. 
						
						
					 | 
					
						2020-09-17 14:42:04 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
						
						
							
						
						
							ea2d98d25f
							
						
					 | 
					
						
						
							
							Gnome-Shell: Update 3.37.92: prepare for update 3.38
						
						
						
						
						
						
					 | 
					
						2020-09-09 11:24:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
						
						
							
						
						
							0eb9f99905
							
						
					 | 
					
						
						
							
							Gnome-Shell: Update 3.36.5
						
						
						
						
						
						
					 | 
					
						2020-09-03 16:40:55 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
						
						
							
						
						
							af27429cc2
							
						
					 | 
					
						
						
							
							Gnome-Shell: Upload for gnome-shell 3.36.4
						
						
						
						
						
						
					 | 
					
						2020-07-08 16:25:12 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
						
						
							
						
						
							4565e29f5f
							
						
					 | 
					
						
						
							
							GTK3: Lighten OSD background color
						
						
						
						
						
						
					 | 
					
						2020-06-01 13:21:23 +02:00 | 
					
					
						
						
							
							
							
						
					 |