Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							3ce5a9d6b0
							
						
					 | 
					
						
						
							
							Gnome-Shell: regenerate themes
						
						
						
						
						
						
					 | 
					
						2023-10-29 13:14:32 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							798065975a
							
						
					 | 
					
						
						
							
							Gnome-Shell: Remove unneeded assets
						
						
						
						
						
						
					 | 
					
						2023-10-04 13:13:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							21aef48112
							
						
					 | 
					
						
						
							
							Gnome-Shell: Regenerate theme
						
						
						
						
						
						
					 | 
					
						2023-10-04 13:13:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							9be3dc1557
							
						
					 | 
					
						
						
							
							Fix transparent menubar in gnome-terminal
						
						
						
						
						
						
					 | 
					
						2023-10-04 13:11:23 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							37799d67d2
							
						
					 | 
					
						
						
							
							GNOME: Update for gnome-shell 44.2
						
						
						
						
						
						
					 | 
					
						2023-06-07 13:12:19 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								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
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							14f09400cf
							
						
					 | 
					
						
						
							
							Fix Makefile scripts
						
						
						
						
						
						
					 | 
					
						2023-03-17 18:42:24 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							0b96561c58
							
						
					 | 
					
						
						
							
							Add Kali Purple themes
						
						
						
						
						
						
					 | 
					
						2023-02-10 13:58:33 +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
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							a06a45d712
							
						
					 | 
					
						
						
							
							Gnome-Shell: remove old assets
						
						
						
						
						
						
					 | 
					
						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
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							e8b75a1302
							
						
					 | 
					
						
						
							
							Gnome-Shell: reduce height of switch assets
						
						
						
						
						
						
					 | 
					
						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
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							98ba67b6d1
							
						
					 | 
					
						
						
							
							GTK4: add libhandy styles
						
						
						
						
						
						
					 | 
					
						2022-04-15 17:59:41 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							506c60db0c
							
						
					 | 
					
						
						
							
							GTK: Update gtk themes
						
						
						
						
						
						
					 | 
					
						2022-04-15 17:59:41 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							f9911f3633
							
						
					 | 
					
						
						
							
							GTK3: tweak nautilus 42 theme
						
						
						
						
						
						
					 | 
					
						2022-03-07 19:54:20 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							39bf5780c8
							
						
					 | 
					
						
						
							
							GTK3: fix missing dark theme in Kali-Dark
						
						
						
						
						
						
					 | 
					
						2022-03-07 18:23:04 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							4d8c30e3f0
							
						
					 | 
					
						
						
							
							GTK3: use nautilus style for version 42.beta
						
						
						
						
						
						
					 | 
					
						2022-03-04 11:42:41 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							131a39b2d5
							
						
					 | 
					
						
						
							
							GTK3: update theme for gedit and nautilus
						
						
						
						
						
						
					 | 
					
						2022-03-04 11:38:42 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							910d538d6f
							
						
					 | 
					
						
						
							
							GTK3: don't remove hovered background in whiskermenu iconview
						
						
						
						
						
						
					 | 
					
						2022-02-15 13:10:14 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							7b3bce7cb7
							
						
					 | 
					
						
						
							
							GTK3: fix theme for whiskermenu in icons mode
						
						
						
						
						
						
					 | 
					
						2022-02-14 22:20:14 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Ruiz de Alegría
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							ed261ce79f
							
						
					 | 
					
						
						
							
							GTK3: fix hovered titlebuttons in firefox
						
						
						
						
						
						
					 | 
					
						2021-12-22 16:02:54 +01:00 | 
					
					
						
						
							
							
							
						
					 |