"Public Holidays" means New Year's Day, Memorial Day, Independence Day, Labor Day,
Thanksgiving Day and Christmas Day, or any other day designated a holiday by the governing
body of this municipality.(*)
(Ord. No.
1567
, 5-29-18)
var val = document.getElementById('citecontent').innerHTML;
art.dialog.defaults.title = window.location.href;
art.dialog.data('cite', val);
art.dialog.data('homeDemoPath', '/Scripts/plus/artDialog/');
art.dialog.open('/Scripts/plus/artDialog/citeiframe.html');