Move more things to the theme

I think this is everything we can do for now. The extensions cannot be set at the theme level, and everything else is project-specific. Maybe at some point we can do some Python magic to auto-generate some of the things, like source_edit_link, but with this I'm now happy.

Edited by Pablo Correa Gomez

Merge request reports

Loading