diff --git a/specs/t27f/spec_graph_view.t27 b/specs/t27f/spec_graph_view.t27 index d469b1b440..7123e243ee 100644 --- a/specs/t27f/spec_graph_view.t27 +++ b/specs/t27f/spec_graph_view.t27 @@ -80,16 +80,20 @@ pub const VIEW_BAND_GAP : u32 = 48; /// Style by inference label (exact, derived, suggested, unknown). A guess and an unknown are /// narrower and lower than a fact and sit centred in the column (indent * 2 + width = VIEW_COL_W); /// only EXACT is drawn solid. Dash is the dash length in pixels, 0 for a solid line. +/// Colours are the t27.ai site tokens (apps/website/src/index.css): stroke is accent green for +/// exact, golden for derived, blue for suggested, muted grey for unknown; each fill is a dark tint +/// of its stroke, so white text clears 4.5:1 on every box. The dash stays distinct per label, so +/// the label survives a colour-blind reader. pub const VIEW_LABEL_W : [4]u32 = [220, 220, 200, 200]; pub const VIEW_LABEL_H : [4]u32 = [44, 44, 36, 36]; pub const VIEW_LABEL_INDENT : [4]u32 = [0, 0, 10, 10]; -pub const VIEW_LABEL_FILL : [4]u32 = [0xDCEFE0, 0xDDE8F7, 0xFFF1D0, 0xECECEC]; -pub const VIEW_LABEL_STROKE : [4]u32 = [0x1B7F3B, 0x2459A8, 0xB7791F, 0x8A8A8A]; +pub const VIEW_LABEL_FILL : [4]u32 = [0x0C2A1B, 0x2B2508, 0x0E2236, 0x1A1E1C]; +pub const VIEW_LABEL_STROKE : [4]u32 = [0x00FF88, 0xFFD700, 0x58A6FF, 0x8B9490]; pub const VIEW_LABEL_DASH : [4]u32 = [0, 6, 3, 2]; /// Text and page colours, and the text size a host uses inside a box. -pub const VIEW_TEXT : u32 = 0x1A1A1A; -pub const VIEW_BACKDROP : u32 = 0xFFFFFF; +pub const VIEW_TEXT : u32 = 0xFFFFFF; +pub const VIEW_BACKDROP : u32 = 0x0B0D0C; pub const VIEW_FONT_PX : u32 = 13; /// Two edges between the same pair of nodes (uses and data_flow, calls and tested_by) would lie on @@ -589,7 +593,7 @@ test label_sets_size_colour_and_order { assert view_node_y(s, 15) == 40; assert view_node_w(s, 15) == 200; assert view_node_h(s, 15) == 36; - assert view_node_fill(s, 15) == 0xFFF1D0; + assert view_node_fill(s, 15) == 0x0E2236; assert view_node_dash(s, 15) == 3; assert view_overlap_count(s) == 0; // its edge is a guess too, and points at line 67 @@ -605,7 +609,7 @@ test label_sets_size_colour_and_order { assert view_verdict(d) == VIEW_OK; assert view_node_y(d, 5) == 296; assert view_node_y(d, 6) == 168; - assert view_node_fill(d, 5) == 0xDDE8F7; + assert view_node_fill(d, 5) == 0x2B2508; assert view_node_dash(d, 5) == 6; // the name moves nothing: the layout reads kind, label and node number only var r : SpecGraph = tutorial_08_graph(); @@ -620,7 +624,7 @@ test unknown_node_is_drawn_alone { assert view_node_x(g, 14) == 1610; assert view_band_top(g) == 408; assert view_node_y(g, 14) == 408; - assert view_node_fill(g, 14) == 0xECECEC; + assert view_node_fill(g, 14) == 0x1A1E1C; assert view_node_widget(g, 14) == WIDGET_TEXT_BLOCK; assert view_alone_below(g, 14); // no edge end lands on it, while power_of_two (node 8) takes four @@ -735,8 +739,8 @@ test host_entry_points_match_the_layout { assert fx_node_line_start(0, 8) == 66; assert fx_node_line_end(0, 8) == 68; assert fx_node_widget(0, 8) == WIDGET_FORMULA_VIEW; - assert fx_node_fill(1, 15) == 0xFFF1D0; - assert fx_node_stroke(0, 0) == 0x1B7F3B; + assert fx_node_fill(1, 15) == 0x0E2236; + assert fx_node_stroke(0, 0) == 0x00FF88; assert fx_node_dash(0, 0) == 0; assert fx_node_w(0, 14) == 200; assert fx_node_h(0, 0) == 44; @@ -747,7 +751,7 @@ test host_entry_points_match_the_layout { assert fx_edge_y1(0, 0) == 58; assert fx_edge_x2(0, 0) == 300; assert fx_edge_y2(1, 16) == 66; - assert fx_edge_stroke(0, 12) == 0x2459A8; + assert fx_edge_stroke(0, 12) == 0xFFD700; assert fx_edge_dash(1, 16) == 3; // past the graph, a host gets 0, not a neighbour's numbers assert fx_node_x(0, 15) == 0;