Come si ottiene un bordo tratteggiato?

Utente HTML.it
chiede

Come si ottiene un bordo tratteggiato?

Redazione HTML.it
risponde

Impostando il tipo di bordo a dotted.Nel codice di seguito, il div con id=”menu” nell’HTML
verrà reso con un bordo grigio chiaro tratteggiato:

div#menu{border: 1px dotted #ccc}

Se volessimo ad esempio solo il bordo destro, dovremo usare la proprietà border-right:

div#menu{border-right: 1px dotted #ccc}