Chérie, j’ai rétréci document.getElementById

Une petite astuce toute  simple mais néanmoins efficace pour simplifier l’accès aux identifiants CSS à la manière de jQuery.

function $( element ) {
    return document.getElementById( element );
}

Simple, mais il fallait y penser !