Das mag ja stimmen, aber wenn ich nicht irre, ist die erste Schreibweise genauso korrekt wie die zweite. Warum wird also vom Entwicklertool umgeschrieben?
Wird es nicht. Das Entwicklertool holt sich die entsprechenden Werte über die .currentStyle-Eigenschaft des IEs (bei anderen Browsern gibt es dazu die Methode getComputedStyle). Dort sind aber nur die präzisen Werte und nicht die Abkürzungen (die natürlich weiterhin valide sind) gespeichert.
Das liegt daran, dass diese Eigenschaften und Methoden auf das Ergebnis des jeweiligen CSS-Parsers zurückgreifen und das sind nun einmal nicht die Eingabedaten aus inline-Styles und CSS, sondern das Ergebnis dieser Eingaben. Nebenbei: In manchen Browsern werden #rrggbb-Farben sogar in das rgb(r, g, b)-Format übersetzt.
Gruß, LX
RFC 1925, Satz 2: Egal, wie fest man schiebt, ganz gleich, wie hoch die Priorität ist, man kann die Lichtgeschwindigkeit nicht erhöhen.