Come posso cambiare dinamicamente i bordi di un elemento?

Utente HTML.it
chiede

Come posso cambiare dinamicamente i bordi di un elemento?

Redazione HTML.it
risponde

Così:

document.getElementById(‘mioElemento’).style.borderLeft=”2px dashed red”;

e per cambiarli tutti in una volta:

document.getElementById(‘mioElemento’).style.border=”2px dashed red”;