/* adapted 2023-11-27 to work with https, too */
/* temporarily force http instead of https 2022-08-23
Some things on the site do not work with https
Note that the following doesn't actually work.
if(window.location.protocol == 'https:') {
location.href = location.href.replace("https://", "http://");
}
*/
/* CK's lightweight BootStrap 3 Parts 2014-02-05*/
a='';
a+='';
a+='';
a+='';
//
a+='