// По идее, тут const, но с ie const не работает
var cookie_domain = "artiomsoft.narod.ru";
var cookie_name = "site_style";
// Таблица по умолчанию
var style_def = "default.css";
var style_black = "black.css";
var style_invert = "invert.css";
var style_green = "green.css";
var style_blue = "blue.css";
var style_programmer = "programmer.css";
var style_hell = "hell.css";
// Картинка "Загрузить" при наведении
var imgDownload_hl;
var imgDownload_hl_href = "images/btn_dl_green.png";

function basename(file_name)
{
        // Стандартного basename() нет, зато есть метод split
        path_cmps = file_name.split('/');
        return(path_cmps[path_cmps.length - 1]);
}

function get_cur_style()
{
   // Плохое решение: document.styleSheets[1].href
   return(basename(document.all.style_sheet.href));
}

function set_style(css_name, leading_path)
// Вызывается в заголовке
{
        if (css_name == get_cur_style()) return;
        var css_file_name = "styles/" + css_name;
        if (leading_path) css_file_name = leading_path + css_file_name;
        // Старый уродливый способ
        // Чтобы работал не было косяков с set_div_height() в файрfucks
        document.write('<link href="'+ css_file_name +
           '" type="text/css" rel="stylesheet" />');
        // В обычном случае возможно только этим обойтись
        document.all.style_sheet.href = css_file_name;
}

function get_style_from_cookie()
{
        var saved_style = GetCookie(cookie_name);
        return((saved_style == null) ? style_def : saved_style);
}

function save_style_to_cookie(style_name)
{
        var exp = new Date();
        FixCookieDate(exp);
        var oneYearFromNow = exp.getTime() + (365*24*60*60*1000);
        exp.setTime(oneYearFromNow);
        // Теперь преобразую дату в принятый строковый формат GMT и
        // запишу cookie
        // У меня гостевуха в другом домене. Пишу cookie и для второго домена.
        SetCookie(cookie_name, style_name, exp, "/", cookie_domain);
        SetCookie(cookie_name, style_name, exp);
}

function set_div_height()
{
        col_height = document.all.main_col.clientHeight;
        code_new = document.all.main_col.innerHTML;
        code_new = code_new.replace(/<div class="?main_div"? id="?main_div"?>/i,
           "<div class=\"main_div\" id=\"main_div\" style=\"height:" +
           col_height + "px;\">");
        document.all.main_col.innerHTML = code_new;
}

function get_dl_hl_image()
{
        if (imgDownload_hl == null)
        {
           imgDownload_hl = new Image;
           imgDownload_hl.src = imgDownload_hl_href;
        }
        return(imgDownload_hl);
}