W3C home > Mailing lists > Public > public-webplatform@w3.org > July 2014

Re: Formatting of html tags

From: PhistucK <phistuck@gmail.com>
Date: Thu, 17 Jul 2014 20:54:01 +0300
Message-ID: <CABc02_J6tL1T5t2pLwq-Otp=11dtSSRMe29WW_FxB1qdbNMbJQ@mail.gmail.com>
To: Pearl Chen <pearlchen@google.com>
Cc: "public-webplatform@w3.org" <public-webplatform@w3.org>
While I like your suggestion, I fear that the name may get lost while
copying and pasting the content (pasting into an HTML source, for example).
A solution could be to use pseudo elements for the angle brackets (or
something like <q class="html">html</q> and have this small CSS snippet in
a CSS file somewhere - q.html { quotes: "<" ">"; }, but that may not be
semantic...). The goal in doing this is to show angle brackets, but ignore
them when copying.

Perhaps there are other ways, or it might just not matter.


On Thu, Jul 17, 2014 at 8:38 PM, Pearl Chen <pearlchen@google.com> wrote:

> I'm trying to figure out of there is a preferred way to display html tags
> in text. I've seen it in various formats within the WPD docs, with and
> without brackets, with and without bold:
> - html element
> - *html* element
> - <html> element
> - *<html>* element
> My gut tells me to use "<html>", no bold unless there's an actual emphasis
> needed.
> Pearl
Received on Thursday, 17 July 2014 17:55:09 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:14:07 UTC