[03:43:27] That sounds ok. The HTML markup will likely be there anyway, iiuc it correctly. And then having some CSS that marks it somehow, that'll definitely be possible. Now the question is merely what the default CSS should be. I'm fine with either way, but I'd like the community to make this default decision. That's all I'm saying. [06:56:31] How will it look like by default is up to Real Designers :) (re @vrandecic: That sounds ok. The HTML markup will likely be there anyway, iiuc it correctly. And then having some CSS that marks it somehow, that'll definitely be possible. Now the question is merely what the default CSS should be. I'm fine with either way, but I'd like the community to make this default decision. That's all I'm saying.) [12:56:00] Sure.