From e2ee18ce879d98c67f51899fc96ce1e5fe2e4c9a Mon Sep 17 00:00:00 2001 From: Protesilaos Stavrou Date: Wed, 6 Dec 2023 09:25:10 +0200 Subject: [PATCH] gnome: keep two themes for desktop and laptop --- gnome/.themes/prot-desktop/gnome-shell/gnome-shell.css | 6 ++++++ .../gnome-shell/gnome-shell.css | 0 2 files changed, 6 insertions(+) create mode 100644 gnome/.themes/prot-desktop/gnome-shell/gnome-shell.css rename gnome/.themes/{prot-gnome-standard => prot-laptop}/gnome-shell/gnome-shell.css (100%) diff --git a/gnome/.themes/prot-desktop/gnome-shell/gnome-shell.css b/gnome/.themes/prot-desktop/gnome-shell/gnome-shell.css new file mode 100644 index 00000000..7795dd38 --- /dev/null +++ b/gnome/.themes/prot-desktop/gnome-shell/gnome-shell.css @@ -0,0 +1,6 @@ +stage { + font-size: 10pt; } + +#panel { + height: 2em; +} diff --git a/gnome/.themes/prot-gnome-standard/gnome-shell/gnome-shell.css b/gnome/.themes/prot-laptop/gnome-shell/gnome-shell.css similarity index 100% rename from gnome/.themes/prot-gnome-standard/gnome-shell/gnome-shell.css rename to gnome/.themes/prot-laptop/gnome-shell/gnome-shell.css