Daniele Bartolini 26d1d6ba9e tools: increase toolbar's margin hace 1 año
..
style-dark.css a5507825fc tools: avoid cluttering core CSSes hace 2 años
style-light.css a5507825fc tools: avoid cluttering core CSSes hace 2 años
style.css a9015547a5 tools: convert version label to clickable button hace 1 año
toolbar.ui 26d1d6ba9e tools: increase toolbar's margin hace 1 año