doc: Remove h[123] border and increase their padding to better readability#7184
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 17, 2013
Merged
doc: Remove h[123] border and increase their padding to better readability#7184bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom