henrov/nixos
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Regenerated

Browse Source
This commit is contained in:
Henro Veijer
2026-04-13 16:47:03 +02:00
parent 83e8c90353
commit 4971899f00
3 changed files with 366 additions and 366 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Droidnix/README.html
+346 -346
View File
File diff suppressed because it is too large Load Diff
Droidnix/README.org
+10 -10
View File
@@ -4512,16 +4512,16 @@ This is the default layout for wofi
#main { #main {
background-color: @base; background-color: @base;
border: 1px solid @surface0; border: 1px solid @surface0;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
padding: 20px; padding: 20px;
box-shadow: 0 0 20px rgba(0, 0, 0, 0.8); box-shadow: 0 0 20px rgba(0, 0, 0, 0.3);
} }
#input { #input {
background-color: @surface0; background-color: @surface0;
color: @text; color: @text;
border: 1px solid @surface1; border: 1px solid @surface1;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
padding: 5px 10px; padding: 5px 10px;
margin-bottom: 10px; margin-bottom: 10px;
} }
@@ -4531,35 +4531,35 @@ This is the default layout for wofi
200, 200,
200, 200,
200, 200,
0.2 0.6
); /* very light grey, very transparent */ ); /* very light grey, very transparent */
color: @text; color: @text;
border-radius: 10px; border-radius: 30px;
padding: 5px 10px; padding: 5px 10px;
margin: 2px 0; margin: 2px 0;
} }
#entry:focus { #entry:focus {
background-color: @surface1; background-color: @surface0;
color: @lavender; color: @lavender;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
} }
#entry:selected { #entry:selected {
background-color: @surface0; background-color: @surface0;
color: @text; color: @text;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
} }
#scrollbar { #scrollbar {
background-color: @surface0; background-color: @surface0;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
width: 8px; width: 8px;
} }
#scrollbar.handle { #scrollbar.handle {
background-color: @blue; background-color: @blue;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
} }
#+END_SRC #+END_SRC
Droidnix/generated/.config/wofi/style.css
+10 -10
View File
@@ -11,16 +11,16 @@
#main { #main {
background-color: @base; background-color: @base;
border: 1px solid @surface0; border: 1px solid @surface0;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
padding: 20px; padding: 20px;
box-shadow: 0 0 20px rgba(0, 0, 0, 0.8); box-shadow: 0 0 20px rgba(0, 0, 0, 0.3);
} }
#input { #input {
background-color: @surface0; background-color: @surface0;
color: @text; color: @text;
border: 1px solid @surface1; border: 1px solid @surface1;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
padding: 5px 10px; padding: 5px 10px;
margin-bottom: 10px; margin-bottom: 10px;
} }
@@ -30,33 +30,33 @@
200, 200,
200, 200,
200, 200,
0.2 0.6
); /* very light grey, very transparent */ ); /* very light grey, very transparent */
color: @text; color: @text;
border-radius: 10px; border-radius: 30px;
padding: 5px 10px; padding: 5px 10px;
margin: 2px 0; margin: 2px 0;
} }
#entry:focus { #entry:focus {
background-color: @surface1; background-color: @surface0;
color: @lavender; color: @lavender;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
} }
#entry:selected { #entry:selected {
background-color: @surface0; background-color: @surface0;
color: @text; color: @text;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
} }
#scrollbar { #scrollbar {
background-color: @surface0; background-color: @surface0;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
width: 8px; width: 8px;
} }
#scrollbar.handle { #scrollbar.handle {
background-color: @blue; background-color: @blue;
border-radius: 10px; /* Rounded corners */ border-radius: 30px; /* Rounded corners */
} }