On Wed, Oct 30, 2013 at 3:38 PM, j. van den hoff <veedeeh...@googlemail.com>wrote:
> ... > thanks a lot for this info. I don't know anything of CSS related things, I > was not aware of this possibility. and it sure fixes the issue for me. on > the other hand, I still believe that the average not-so-experienced user > will not want to dive into these sort of do-it-yourself configuration and > that a basic built-in solution would be good to have. > ... > yes, I understand that, but see above: not everybody wants to do it, > presumably, and a basic builtin solution would be good to have. and I > believe another issue is that the configuration is local to the respective > repo. so if I "fix" the configuration on some server-side repo, the local > clone of somebody else will not profit from it. > > anyway, thanks again. I at least know now how to fix it for my own repos. > Fossil supports "skins", so it would be possible for people to each contribute their favorite skin incorporating some of these CSS mods. Personally, I'm content with the default skin, though I might try 1 or 2 of these mods.
_______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users