Re: Move table's border line up

Fulio Open wrote:

Keyboards in the U.S. don't have the AltGr key.

Most of them may lack it, but AltGr, when available, is just a more convenient way of typing Ctrl+Alt. Besides, you can turn your "right Alt" to AltGr via keyboard driver.

So the dotless i cannot be typed directly.

As I wrote, AltGr+I works for me (and for anyone using modern Finnish multilingual keyboard layout standard), and your mileage varies. It's a keyboard driver issue, and anyone can implement a keyboard driver in a few minutes, after once spending 10 - 20 minutes in learning how to use e.g. Microsoft Keyboard Layout Creator.

You can alternatively use character references in HTML, e.g. the dotless i as ı. But the source surely becomes less readable then.

I think zhu^ is better than placing the tone mark on the top of a
letter,

That's your choice, but the standard method in pinyin is to use a diacritic on a letter. Other notations, such as a digit or some other spacing symbol after a letter are often caused by unavailability of diacritic marks - something that was a relevant consideration even in HTML authoring in the early days (the 1990s).

--
Yucca, http://www.cs.tut.fi/~jkorpela/

.