trunk: resume before the Reload experiment

Empty marker on the last pre-Reload change. Keep the Reload experiment on reload (3801914), its first change on reload-start (200a1fc), and the unfinished performance investigation on reload-perf-wip.

1 files changed, 49 insertions, 0 deletions

diff --git a/src/themes/paper.zig b/src/themes/paper.zig
new file mode 100644
index 00000000..7bfb891d
--- /dev/null
+++ b/src/themes/paper.zig
@@ -0,0 +1,49 @@
+//! Pardes paper: Uncoated paper with graphite text and restrained teal accents.
+//! Original palette; editor chrome, search, diagnostics and ANSI output are
+//! designed together. See docs/themes.md for the shared role contract.
+pub const theme = .{
+    .name = "paper",
+    .bg = .{ 0xf5, 0xf3, 0xed },
+    .fg = .{ 0x30, 0x3b, 0x3b },
+    .tag_bg = .{ 0xe8, 0xea, 0xe3 },
+    .tag_fg = .{ 0x52, 0x62, 0x5a },
+    .tag_active_bg = .{ 0xdc, 0xe5, 0xdc },
+    .tag_active_fg = .{ 0x4a, 0x5a, 0x52 },
+    .box = .{ 0x3c, 0x6b, 0x56 },
+    .box_dim = .{ 0x91, 0xa3, 0x95 },
+    .kw = .{ 0x73, 0x51, 0x90 },
+    .str = .{ 0x41, 0x68, 0x48 },
+    .num = .{ 0x87, 0x58, 0x26 },
+    .comment = .{ 0x2e, 0x71, 0x59 },
+    .lineno = .{ 0x8b, 0x91, 0x85 },
+    .lineno_active = .{ 0x83, 0x89, 0x7d },
+    .scroll_track = .{ 0xe5, 0xe8, 0xdf },
+    .scroll_thumb = .{ 0x88, 0x9b, 0x8b },
+    .border = .{ 0xb5, 0xc1, 0xb3 },
+    .sel_bg = .{ 0xc8, 0xdf, 0xd1 },
+    .sel_fg = .{ 0x20, 0x3e, 0x31 },
+    .search_bg = .{ 0xf0, 0xdd, 0xa8 },
+    .search_fg = .{ 0x61, 0x46, 0x1c },
+    .diagnostic_error = .{ 0xa3, 0x39, 0x38 },
+    .diagnostic_warning = .{ 0x80, 0x57, 0x0c },
+    .diagnostic_info = .{ 0x30, 0x65, 0x75 },
+    .diagnostic_hint = .{ 0x52, 0x6d, 0x3e },
+    .palette = .{
+        .{ 0x30, 0x3b, 0x3b },
+        .{ 0xa3, 0x39, 0x38 },
+        .{ 0x41, 0x68, 0x48 },
+        .{ 0x80, 0x57, 0x0c },
+        .{ 0x30, 0x65, 0x75 },
+        .{ 0x73, 0x51, 0x90 },
+        .{ 0x52, 0x6d, 0x3e },
+        .{ 0x30, 0x3b, 0x3b },
+        .{ 0x64, 0x6e, 0x65 },
+        .{ 0xa3, 0x39, 0x38 },
+        .{ 0x41, 0x68, 0x48 },
+        .{ 0x87, 0x58, 0x26 },
+        .{ 0x30, 0x65, 0x75 },
+        .{ 0x73, 0x51, 0x90 },
+        .{ 0x52, 0x6d, 0x3e },
+        .{ 0x30, 0x3b, 0x3b },
+    },
+};