|
elements
|
Remove unused attribute
|
2022-07-08 19:31:43 -07:00 |
|
patterns
|
Clean up menus based on latest design
|
2022-07-08 15:20:55 -07:00 |
|
templates
|
Remove unused attribute
|
2022-07-08 19:31:43 -07:00 |
|
tokens
|
Improve the outlines on dropdown arrows
|
2022-07-08 19:27:53 -07:00 |
