Profile menu redesign
This commit is contained in:
parent
274bdd1d3e
commit
58df0d4529
13 changed files with 2172 additions and 908 deletions
|
|
@ -165,6 +165,16 @@ def discard_unused_icons(rule):
|
|||
".wrench",
|
||||
".x",
|
||||
".key",
|
||||
".cog",
|
||||
".life.ring",
|
||||
".language",
|
||||
".palette",
|
||||
".sun",
|
||||
".moon",
|
||||
".gitlab",
|
||||
".chevron",
|
||||
".right",
|
||||
".left"
|
||||
]
|
||||
if ":before" not in rule["lines"][0]:
|
||||
return False
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue