--- a/ui/gtk/container.c	Sun Nov 19 09:00:16 2017 +0100
+++ b/ui/gtk/container.c	Sun Nov 19 09:38:23 2017 +0100
@@ -451,7 +451,8 @@
 }
 
 UiObject* ui_document_tab(UiTabbedPane *view) {
-    GtkWidget *frame = gtk_alignment_new(0.5, 0.5, 1, 1);
+    GtkWidget *frame = gtk_frame_new(NULL);
+    gtk_frame_set_shadow_type(GTK_FRAME(frame), GTK_SHADOW_NONE);
     // TODO: label
     gtk_notebook_append_page(GTK_NOTEBOOK(view->widget), frame, NULL);