-
Christoph Brüning authored
get rid of many unnecessary length definitions, define some lengths package-locally, and adapt the usage of lengths in the theme packages to their new definition
3d20e2f5
get rid of many unnecessary length definitions, define some lengths package-locally, and adapt the usage of lengths in the theme packages to their new definition