Re: [TASK] Enhance Worg HTML styling

2023-01-05 Thread Tim Cross
Leo Butler writes: > On Fri, Jan 06 2023, Tim Cross wrote: > >> alain.coch...@unistra.fr writes: >> >>> Tim Cross writes on Thu 5 Jan 2023 09:43: >>> >>> > As a simple example, try increasing the font size and see what >>> > happens to the menus. Keep in mind that some users require a very

Re: [TASK] Enhance Worg HTML styling

2023-01-05 Thread Leo Butler
On Fri, Jan 06 2023, Tim Cross wrote: > alain.coch...@unistra.fr writes: > >> Tim Cross writes on Thu 5 Jan 2023 09:43: >> >> > As a simple example, try increasing the font size and see what >> > happens to the menus. Keep in mind that some users require a very >> > large font (for example, I

Re: [TASK] Enhance Worg HTML styling (was: [BUG] worg-setup.org is outdated)

2023-01-05 Thread Tim Cross
alain.coch...@unistra.fr writes: > Tim Cross writes on Thu 5 Jan 2023 09:43: > > > As a simple example, try increasing the font size and see what > > happens to the menus. Keep in mind that some users require a very > > large font (for example, I use a 26 or 28 pt font. > > OK, I understand.

Re: [TASK] Enhance Worg HTML styling (was: [BUG] worg-setup.org is outdated)

2023-01-05 Thread Alain . Cochard
Tim Cross writes on Thu 5 Jan 2023 09:43: > As a simple example, try increasing the font size and see what > happens to the menus. Keep in mind that some users require a very > large font (for example, I use a 26 or 28 pt font. OK, I understand. (Even with default font size, I hate that the

Re: [TASK] Enhance Worg HTML styling (was: [BUG] worg-setup.org is outdated)

2023-01-04 Thread Tim Cross
alain.coch...@unistra.fr writes: > Bastien Guerry writes on Wed 4 Jan 2023 11:21: > > > Strong +1 on working on Worg's styling. > > > > The task may be daunting, but we can also tackle it incrementally. > > > > >From memory, orgmode.org/worg is visited by ~30k persons each month, > > th

Re: [TASK] Enhance Worg HTML styling (was: [BUG] worg-setup.org is outdated)

2023-01-04 Thread Alain . Cochard
Bastien Guerry writes on Wed 4 Jan 2023 11:21: > Strong +1 on working on Worg's styling. > > The task may be daunting, but we can also tackle it incrementally. > > >From memory, orgmode.org/worg is visited by ~30k persons each month, > that 1000 persons per day. A patch enhancing the .cs

[TASK] Enhance Worg HTML styling (was: [BUG] worg-setup.org is outdated)

2023-01-04 Thread Bastien Guerry
Tim Cross writes: > A significant re-design of the worg styling is required in order to get > a presentation which both looks good and which works with respect to > accessibility requirements. I don't believe the current styles are > workable. Someone with greater CSS fu than me might do better,