[doc] [formatting] smaller font for headers of tiny sections
e.g. under about > Why use OpenHKL, we have very short subsections, just one paragraph, it's almost an enumeration. Appropriate header font might be same size as for the running text, just boldface.