Use standard docs theme whilst MDN sphinx theme is broken.