| 
						
					 | 
					
						
						
						
						
							
						
						
							8a6631cec2
							
						
					 | 
					
						
						
							
							Add nyan-cat easter egg
						
						
						
						
						
						
					 | 
					
						2023-11-11 11:50:09 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							6930c0a06a
							
						
					 | 
					
						
						
							
							Misc: use the correct copyright headers
						
						
						
						
						
						
					 | 
					
						2023-04-08 21:32:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							febe7bb405
							
						
					 | 
					
						
						
							
							MainNavBar: hide navigation when not logged in
						
						
						
						
						
						
					 | 
					
						2023-03-11 16:39:30 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							0a8da104cc
							
						
					 | 
					
						
						
							
							MainNavBar: randomize space invader; add Coda font
						
						
						
						
						
						
					 | 
					
						2023-03-11 16:38:03 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							87df775c51
							
						
					 | 
					
						
						
							
							MainNavBar: re-introduce the space invader
						
						
						
						
						
						
					 | 
					
						2023-03-11 15:27:15 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							277611e0ac
							
						
					 | 
					
						
						
							
							Introduce new menu classes and navigation templates
						
						
						
						
						
						
					 | 
					
						2023-03-11 15:14:05 +01:00 | 
					
					
						
						
							
							
							
						
					 |