Divyansh Singh
							
						 | 
						
							
							
								fc58ba5763
							
							add favicon to documentation
						 | 
						2 years ago | 
					
				
					
						
							
								   Divyansh Singh
							
						 | 
						
							
							
								a01dc62468
							
							fix: remove extra links from docs css
						 | 
						2 years ago | 
					
				
					
						
							
								   Divyansh Singh
							
						 | 
						
							
							
								66d2f49f18
							
							docs: copy to clipboard support
						 | 
						2 years ago | 
					
				
					
						
							
								   Dan Helfman
							
						 | 
						
							
							
								a1d986d952
							
							Replace "improve this documentation" form with link to support and ticket tracker.
						 | 
						4 years ago | 
					
				
					
						
							
								   Dan Helfman
							
						 | 
						
							
							
								f573c1810a
							
							Add a suggestion form to all documentation pages, so users can submit ideas for improving the documentation.
						 | 
						6 years ago | 
					
				
					
						
							
								   Dan Helfman
							
						 | 
						
							
							
								9c9be65b2b
							
							Add files for building documentation into a Docker image for web serving.
						 | 
						6 years ago |