Write down shortcuts problem

TODO.md

@@ -5,6 +5,8 @@
 - [ ] Document creating new applications, e.g., as in [Asana for Linux](https://git.nunosempere.com/NunoSempere/asana-for-linux)
 - [ ] Use something other than Whatsapp as an example syslink.
 - [ ] Fix bug about distorted audio. Maybe related to [this pipewire issue](<https://gitlab.freedesktop.org/pipewire/pipewire/-/issues/1547>)?
+  - See whether it even exists at all
+- [ ] Fix PageUp/PageDown shortcuts.
 - [ ] Upgrade to GTK-4 / Webkitgtk 6.0? Will take a fair amount of time, since GTK4 redesigns the application model somewhat.
   - Instructions for webkit-6.0 [here](https://github.com/WebKit/WebKit/blob/ed1422596dce5ff012e64a38faf402ac1674fc7e/Source/WebKit/gtk/migrating-to-webkitgtk-6.0.md)
   - Instructions for GTK-4 [here](https://docs.gtk.org/gtk4/migrating-3to4.html)

rosenrot.c

@@ -1,6 +1,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <webkit2/webkit2.h>
+#include <gdk/gdk.h>
 
 #include "config.h"
 #include "plugins/plugins.h"
@@ -391,6 +392,8 @@ int handle_signal_keypress(void* self, GdkEvent* event, GtkNotebook* notebook)
             printf("Keypress state is: CONTROL\n");
         }
         printf("Keypress value: %d\n", event_keyval);
+        printf("PageUp: %d\n", KEY(Page_Up));
+        printf("PageDown: %d\n", KEY(Page_Down));
     }
 
     for (int i = 0; i < sizeof(shortcut) / sizeof(shortcut[0]); i++)

style.css

@@ -25,7 +25,7 @@ tabs {
 }
 
 tab {
-	margin: 2px 5px 2px 0px;
+	margin: 2px 5px 4px 0px; /* top right bottom left */
 	padding: 5px;
 	border-style: solid;
   font-size: 27px;