| .. | 
			
		
		
			
				
					| 
						
							
						
						_default
					 | 
				
				
					6ef19085d4
					Refactor most absolute URLs to relative URLs
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						docs
					 | 
				
				
					674bb67364
					Add documentation/courses/tutorials layout
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						home
					 | 
				
				
					7867f653e8
					Initial commit
				 | 
				vor 9 Jahren | 
			
		
			
				
					| 
						
							
						
						partials
					 | 
				
				
					9bcecc7b25
					shortcodes: Update figure and video to support files within page dir
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						project
					 | 
				
				
					965a64ffaa
					Migrate from Bootstrap v3 to v4 (#571)
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						publication
					 | 
				
				
					6ef19085d4
					Refactor most absolute URLs to relative URLs
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						section
					 | 
				
				
					9ee3ade085
					CSS: Make header margins more consistent again
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						shortcodes
					 | 
				
				
					9bcecc7b25
					shortcodes: Update figure and video to support files within page dir
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						slides
					 | 
				
				
					6faf695727
					Add slides feature
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						talk
					 | 
				
				
					965a64ffaa
					Migrate from Bootstrap v3 to v4 (#571)
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						404.html
					 | 
				
				
					6ef19085d4
					Refactor most absolute URLs to relative URLs
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						index.css
					 | 
				
				
					66ca3fca75
					Add theme system
				 | 
				vor 8 Jahren | 
			
		
			
				
					| 
						
							
						
						index.html
					 | 
				
				
					8d596ffed2
					Perform check that site is correctly configured
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						index.json
					 | 
				
				
					36084c5607
					search: refactor so that only one index is generated
				 | 
				vor 7 Jahren | 
			
		
			
				
					| 
						
							
						
						rss.xml
					 | 
				
				
					b21642366e
					Add RSS feed
				 | 
				vor 9 Jahren | 
			
		
			
				
					| 
						
							
						
						sitemap.xml
					 | 
				
				
					af6d0bc278
					Exclude all widgets from the sitemap (#613)
				 | 
				vor 7 Jahren |