Input width in pixels

For coherence between widgets since the dropdowns already have the size in pixels instead of characters and for improved compatibility between browsers. It's annoying to try to find how many pixels each character will take.