Runtime web settings: fix punctuation and update CSS again

2023-11-22, Edouard Tisserant