Man Page Palette
t.prefs_.set('color-palette-overrides',["#000000", "#cc0000", "#00a600", "#999900", "#0000b2", "#b200b2", "#00a6b2", "#cccccc", "#666666", "#e50000", "#00d900", "#e5e500", "#0000ff", "#e500e5", "#00e5e5", "#e5e5e5"]);
t.prefs_.set('foreground-color', "#000000");
t.prefs_.set('background-color', "#fef49c");
t.prefs_.set('cursor-color', 'rgba(127,127,127,0.5)');
#000000
#cc0000
#00a600
#999900
#0000b2
#b200b2
#00a6b2
#cccccc
#666666
#e50000
#00d900
#e5e500
#0000ff
#e500e5
#00e5e5
#e5e5e5
#fef49c