$edge_padding: 10px; window { font-weight: bold; background-color: rgba(0, 0, 0, 0); } .main > box > * { margin-left: 10px; } .main > box > :first-child { margin-left: 0px; } .left { padding-left: $edge_padding; } .right { padding-right: $edge_padding; } .workspaces { font-family: Hack Nerd Font; } .workspace-active { color: #20ff20; } :hover { color: #c0ffc0; transition: color 500ms; transition: font-size 50ms; } :active { font-size: 10pt; }