More docs, prettifying to use bootstrap theme