/*
** User Interface scripts for PublicDomainReprints.org
** Copyright (C) 2009 by Yakov Shafranovich <code /at/ shaftek [dot] org>
**
** This code is copyrighted and may not be used without permission.
*/

function menuSetSection(section) {
    $(section).addClassName('current');    
}