update config

This commit is contained in:
2025-11-23 11:42:35 +01:00
parent fab7d2f157
commit 91df449304
73 changed files with 8450 additions and 338 deletions

View File

@@ -0,0 +1,38 @@
/*--------------
username
--------------*/
#custom-user {
padding-right: 12px;
}
/*----------------
workspaces
----------------*/
#custom-left_div.1,
#custom-right_div.1 {
color: @workspaces;
}
#workspaces {
padding: 0 1px;
background-color: @workspaces;
}
#workspaces button {
/*content: "c";*/
}
/*------------------
window title
------------------*/
#window {
margin-left: 12px;
margin-top: 3px;
}
#window label {
font-size: 14px;
color: #888;
}