Ludovic Courtès <l...@gnu.org> writes: >> The last thing I started working on was to use the HTML5 "progress" >> element instead of using custom div + bootstrap JS. With pico.css we >> can drop most classes and a lot of nested divs. Currently, though, it >> all looks very messy. > > Do I get it right that this branch no longer uses Bootstrap at all?
Correct. > In > which case I suppose what remains to be done is primarily fixing > remaining UI and layout issues, right? Yes. Unfortunately, there are many of them. -- Ricardo