Fixed minor issues (#291)

* Fixed xss sanitizer config for checkboxes

* Fixed typo in version navigation tree href

* Fixed navigation tabs' margins with pure css

* Prettier

For some weird reason my prettier config seems to be different

Co-authored-by: Redblueflame <contact@redblueflame.com>

plugins/compiled-markdown-directive.js

@@ -12,6 +12,7 @@ const options = {
     h4: ['id'],
     h5: ['id'],
     h6: ['id'],
+    input: ['checked', 'disabled', 'type'],
     iframe: ['width', 'height', 'allowfullscreen', 'frameborder'],
   },
   onIgnoreTagAttr: (tag, name, value) => {