added <favicon> as directive, reworked to save n_red, n_green at dot_view entry