[wp-hackers] cosmetic bug: <button> not styled the same as <input type="submit">

[Jeremy Visser]

Charles Iliya Krempeaux wrote:
> The <button> element does NOT get the same style as the <input
> type="submit"> element.
> 
> I.e., the buttons made with <button> do NOT look the same as the
> buttons made with <input type="submit">

This is probably because the <input type="submit"> do not have
class="button".

In my opinion, wp-admin's CSS should include something like the following:

> button,
> input.button,
> 
> /* Add these three: */
> 
> input[type=submit],
> input[type=reset],
> input[type=button] {
> 	/* the fancy button styles */
> }