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