| 
					
						
							
								
								
								
									
									
									
										images
									
								
							
						
					
				 | 
				
					
						
							
							ui.gadgets.theme: rename to ui.theme.images.
						
					
				 | 
				2016-05-22 07:53:21 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										switching
									
								
							
						
					
				 | 
				
					
						
							
							ui.theme.switching: default font colors.
						
					
				 | 
				2016-05-22 07:53:21 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								authors.txt
							
						
					
				 | 
				
					
						
							
							Moved both themes into ui.theme
						
					
				 | 
				2016-05-09 21:40:56 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								summary.txt
							
						
					
				 | 
				
					
						
							
							Moved both themes into ui.theme
						
					
				 | 
				2016-05-09 21:40:56 -07:00 |