| .. | 
		
		
			
				
					| _default | 9ee3ade085
					CSS: Make header margins more consistent again | 7 years ago | 
		
			
				
					| docs | 674bb67364
					Add documentation/courses/tutorials layout | 7 years ago | 
		
			
				
					| home | 7867f653e8
					Initial commit | 9 years ago | 
		
			
				
					| partials | 99e0edf9bb
					config: Allow twitter social icon to be commented out | 7 years ago | 
		
			
				
					| project | 965a64ffaa
					Migrate from Bootstrap v3 to v4 (#571) | 7 years ago | 
		
			
				
					| publication | 965a64ffaa
					Migrate from Bootstrap v3 to v4 (#571) | 7 years ago | 
		
			
				
					| section | 9ee3ade085
					CSS: Make header margins more consistent again | 7 years ago | 
		
			
				
					| shortcodes | 11a5d1bf50
					gdocs shortcode: Support all doc types (Slides, Docs, Sheets, etc.) | 7 years ago | 
		
			
				
					| talk | 965a64ffaa
					Migrate from Bootstrap v3 to v4 (#571) | 7 years ago | 
		
			
				
					| 404.html | a552c1e298
					List most recent content on 404 error page | 7 years ago | 
		
			
				
					| index.css | 66ca3fca75
					Add theme system | 8 years ago | 
		
			
				
					| index.html | 8d596ffed2
					Perform check that site is correctly configured | 7 years ago | 
		
			
				
					| index.json | 36084c5607
					search: refactor so that only one index is generated | 7 years ago | 
		
			
				
					| rss.xml | b21642366e
					Add RSS feed | 9 years ago | 
		
			
				
					| sitemap.xml | af6d0bc278
					Exclude all widgets from the sitemap (#613) | 7 years ago |