Docs dev

Docs update inc,

- settings a theme
- adding link at top
- git hub banner
- and a few minor fixes