I'm building an html UI with some text elements, such as tab names, which look bad when selected. Unfortunately, it's very easy for a user to double-click a tab name, which selects it by default in many browsers.
I might be able to solve this with a javascript trick (I'd like to see those answers, too) -- but I'm really hoping there's something in css/html directly that works across all browsers.