Marian Beermann
							
						 | 
						
							
							
								fd21893591
							
							revert logo colour to #00dd00 (per @TW)
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								671418a794
							
							docs: adjust CSS to updated logo colour
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								9b0c03ba48
							
							docs: delete unused CSS directives
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								405e5ac9e1
							
							docs: common options: don't wrap options
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								8727b79325
							
							docs: don't narrow right margin in sidebar toc
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								23ee9432d9
							
							docs: retain rST option list formatting (for Common Options)
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								e76fae0545
							
							docs: uniform tables for listing options (HTML only)
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								a1a92bf00f
							
							docs: less space waste following "Common options"
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								6290b73863
							
							docs: more compact options formatting
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								5e9f069dde
							
							docs: neater table borders
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								334fa9f322
							
							docs: add some cell-padding to tables
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								658fd2521f
							
							docs: fix overeager CSS selector ballooning badges
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								e880c7cac6
							
							docs: sidebar pixel-tweak
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								3fea2ac05e
							
							docs: switch to a fresher theme
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								b1205a7932
							
							docs: fix too small text in tables
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								02ada03486
							
							docs: remove more boxes around monospace
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								8687495793
							
							docs: css: avoid scroll bars on tables
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								dd8a815327
							
							docs: html: format `option values` like in man pages
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								5d9beb5dd2
							
							docs: html: less annoying `` in running text
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								501859ca33
							
							docs: less bothersome experimental stripes
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								25bee21253
							
							docs: deployment: Automated backups to a local hard drive
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								3664adb95d
							
							docs: highlight experimental features in online docs
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								8fb7db71bc
							
							docs: split usage
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								fc599befc9
							
							docs: internals: columnize rather long ToC [webkit fixup]
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								fec0958b7f
							
							docs: internals: columnize rather long ToC
						 | 
						8 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								4446577dd5
							
							docs: less spacing between options
						 | 
						8 years ago | 
					
				
					
						
							
								   Thomas Waldmann
							
						 | 
						
							
							
								1974824595
							
							Merge branch '1.0-maint'
						 | 
						9 years ago | 
					
				
					
						
							
								   sven
							
						 | 
						
							
							
								248ccf0149
							
							Update borg.css
						 | 
						9 years ago | 
					
				
					
						
							
								   sven
							
						 | 
						
							
							
								ff04c059b7
							
							Addjust border color
						 | 
						9 years ago | 
					
				
					
						
							
								   Marian Beermann
							
						 | 
						
							
							
								0a369c0985
							
							Better help texts and Sphinx reproduction of usage
						 | 
						9 years ago |