| .. | 
		
		
			
				
					| main.css | 0337193790
					remove duplicate fonts, tidy up font names (#103) | 13 anos atrás | 
		
			
				
					| print-pdf.css | e0e558ac90
					more pdf-export tweaks, added slide describing the feature (#92) | 13 anos atrás | 
		
			
				
					| print.css | f350c6a5cd
					support for PDF export in chrome (closes #92) | 13 anos atrás | 
		
			
				
					| reset.css | fdd6b36f01
					initial commit | 14 anos atrás |