Improved profile

This commit is contained in:
2017-07-03 17:21:00 +02:00
parent e6d18f2e1d
commit dd974ed99a
14 changed files with 180 additions and 92 deletions

View File

@ -88,5 +88,5 @@ profile-boot-duration = 2s
// Categories
.profile-category
margin-bottom content-padding
// .profile-category
// margin-bottom content-padding