Better link formatting and smaller margins

Introduce a new theme option and tweak stylesheet
so that link formatting and glossary style is better.

Change-Id: I6df1cfe1adb62e24cc2a5707b012df89bf3b9100