|  | e99485d697 | Chore: formatting | 2023-05-07 23:54:31 +02:00 |  | 
				
					
						|  | 102fe2c5e8 | Fix search behaviour of theme index, fix #1385 | 2023-04-23 13:22:57 +02:00 |  | 
				
					
						|  | 6f4288476e | fix(index): search got confused as it didn't have an id for the list items | 2023-03-13 21:31:27 +01:00 |  | 
				
					
						|  | d5e128b1ed | fix: hidden theme link not working | 2023-03-09 20:54:12 +01:00 |  | 
				
					
						|  | 48ef5e37ed | Fix subtle buttons | 2023-02-11 15:04:20 +01:00 |  | 
				
					
						|  | 7cc184fdd8 | Fix unit tests (no doctests yet) | 2023-02-10 01:55:29 +01:00 |  | 
				
					
						| 
								
								
									 wjtje | 1bf1700bab | Move MoreScreen to svelte | 2023-02-08 01:23:06 +01:00 |  |