HTML hr noshade size=“1″ mit css formatieren

Für <hr /> sind noshade und die size Angaben obsolete. Es wird empfohlen diese in CSS umzusetzen. Aber wie? Keine Antwort für <hr noshade size="1" /> gefunden. Es soll nur ein dünner Strich zu sehen sein.
Nach einigem ausprobieren bin ich auf folgende Lösung gekommen:

<style type="text/css">
 hr {
  height: 1px ;
  border-width: 1px 0 0 0 ;
  border-top: 1px solid gray ;
 }
</style>