LESS-Mixins eingeführt, um das Styling der Schriften zu vereinfachen
[website] / src / main / webapp / less / base /
drwxr-xr-x   ..
-rw-r--r-- 1217 browserreset.less
-rw-r--r-- 0 content.less
-rw-r--r-- 3867 fonts.less
-rw-r--r-- 433 footer.less
-rw-r--r-- 327 head.less
-rw-r--r-- 172 marginal.less
-rw-r--r-- 1397 navigation.less
-rw-r--r-- 1916 prettify.less
-rw-r--r-- 2008 typo.less
-rw-r--r-- 352 util.less