| 
					
						
							
								autocompleter.less
							
						
					
				 | 
				
					
						
							
							themes: remove CR from newlines
						
					
				 | 
				2019-12-08 15:33:46 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								code.less
							
						
					
				 | 
				
					
						
							
							[mod] rename "default" theme to "legacy"
						
					
				 | 
				2016-09-22 23:51:07 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								mixins.less
							
						
					
				 | 
				
					
						
							
							[mod] rename "default" theme to "legacy"
						
					
				 | 
				2016-09-22 23:51:07 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								search.less
							
						
					
				 | 
				
					
						
							
							[mod] rename "default" theme to "legacy"
						
					
				 | 
				2016-09-22 23:51:07 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								style-rtl.less
							
						
					
				 | 
				
					
						
							
							[mod] rename "default" theme to "legacy"
						
					
				 | 
				2016-09-22 23:51:07 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								style.less
							
						
					
				 | 
				
					
						
							
							[fix] wrap long lines in infoboxes - fixes #1652
						
					
				 | 
				2020-06-04 23:22:44 +02:00 |