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