╭ changed ───────────╮ │src/embed/index.html│ ╰────────────────────╯ ╭───────────────────────────────────────────────────────╮ │ 7 html { │ │ 8 background-color: rgba(0, 50, 70, 1.0);│ │ 9 color: rgba(200, 200, 200, 1.0); │ │10 - padding: 10px; │ │10 } │ │11 │ │12 @font-face { │ ╰───────────────────────────────────────────────────────╯ ╭ changed ─────────────╮ │src/ui/Home/Header.zig│ ╰──────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────╮ │37 │ │38 var tab_ids: [3]usize = undefined; │ │39 │ │40 + // spacer │ │41 + { │ │42 + var text = wgt.Text(ui.Widget).init(" "); │ │43 + errdefer text.deinit(allocator); │ │44 + try box.children.put(allocator, text.getFocus().id, .{ │ │45 + .widget = .{ .text = text }, │ │46 + .rect = null, │ │47 + .min_size = .{ .width = 1, .height = null }, │ │48 + }); │ │49 + } │ │50 + │ │51 // title sits to the left of the tabs │ │52 { │ │53 var title_view = try ui.Title.View.init(allocator, &data.title);│ ╰────────────────────────────────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────────────╮ │59 }); │ │60 } │ │61 │ │51 - // gap between title and the users tab │ │62 + // spacer │ │63 { │ │64 var text = wgt.Text(ui.Widget).init(" ");│ │65 errdefer text.deinit(allocator); │ ╰─────────────────────────────────────────────────────────╯