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