| .. | 
		
		
			
			
			
			
				| _base.scss | Fix top-navigation color, and some small cleanups | 2020-07-24 14:59:36 +02:00 | 
		
			
			
			
			
				| _breakpoint.scss | landing-page: center navbar on desktop | 2020-05-15 11:33:50 +02:00 | 
		
			
			
			
			
				| _buttons.scss | scss: various small fixes and linting issues | 2020-05-20 17:07:08 +02:00 | 
		
			
			
			
			
				| _content.scss | Rename $body-text-color variables | 2020-07-24 13:03:45 +02:00 | 
		
			
			
			
			
				| _github.scss | scss: various small fixes and linting issues | 2020-05-20 17:07:08 +02:00 | 
		
			
			
			
			
				| _global-header.scss | Various post-launch fixes (#2549) | 2017-03-31 16:07:37 -07:00 | 
		
			
			
			
			
				| _landing.scss | Fix top-navigation color, and some small cleanups | 2020-07-24 14:59:36 +02:00 | 
		
			
			
			
			
				| _layout.scss | Remove the background color of the mini toc | 2020-08-25 14:45:43 +01:00 | 
		
			
			
			
			
				| _mobile.scss | add docker icon on mobile | 2020-05-26 11:12:22 +02:00 | 
		
			
			
			
			
				| _navigation.scss | Adjust links and other elements to match header color | 2020-07-24 16:42:33 +02:00 | 
		
			
			
			
			
				| _night-mode.scss | Remove the background color of the mini toc | 2020-08-25 14:45:43 +01:00 | 
		
			
			
			
			
				| _notes.scss | Tweak formatting of options tables (#4730) | 2017-09-29 17:38:46 -07:00 | 
		
			
			
			
			
				| _overrides.scss | Adjust links and other elements to match header color | 2020-07-24 16:42:33 +02:00 | 
		
			
			
			
			
				| _typography.scss | Rename $body-text-color variables | 2020-07-24 13:03:45 +02:00 | 
		
			
			
			
			
				| _utilities.scss | autocomplete: change cursor on result | 2020-06-02 13:26:52 +02:00 | 
		
			
			
			
			
				| _variables.scss | Adjust links and other elements to match header color | 2020-07-24 16:42:33 +02:00 |