[elinks-dev] attributes for all kind of elements
fonseca at diku.dk
Sat Oct 18 12:55:57 PDT 2003
Johannes Zellner <johannes at zellner.org> wrote Thu, Oct 16, 2003:
> more generally speaking, I think the style of various html elements
> should be configurable, e.g.:
> document.colors.h1 = "red"
> document.attr.h1 = "none"
> document.colors.h* = "red"
> document.attr.h* = "none"
But we should do it using CSS instead of poisoning the option tree
further (like with all the boring ui colors), IMHO.
Some quick and dirty CSS reader/writer would do ...
More information about the elinks-dev