Come posso cambiare dinamicamente i bordi di un elemento?

Così:

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

e per cambiarli tutti in una volta:

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