a tiny documentation theme for Hugo, based on Bootstrap