Docs theme footer fixes

Wrap it in a <footer> (the theme styles this, e.g. deemphasised text
color), add an <hr> like the theme's default footer has, add back in the
credit line for the theme, tidy up the code formatting.