| 07:41 | <annevk> | jugglinmike: Happy New Year to you as well! There's a couple places where we mix styles at the moment. HTML, Web IDL, and Infra. It might be worth addressing in some way, but I'm not sure if that would end up being more or less confusing and it would also be quite a bit of work. I suppose it's worth tracking formally as an issue somewhere. |