Far diventare grassetto un div

[var]

document.getElementById(layer).style.fontWeight="bold";

ciao