/* Functions used in every page for text size/colour switching
 *
 * 18-Jul-2008 [Mike Ford] Change to use browserConfig.css_host so works from remote servers.
 * 31-Jul-2007 [Mike Ford] Edit generated hrefs for move to new server.
 * 16-Aug-2005 [Mike Ford] Extract into separate file.
 */

function emit_customize_selectors()
{
	if (browserConfig._customize) {
		document.writeln('      <div id="customizer">');
		document.writeln('        <ul id="txt_size">');
		document.writeln('        <li>');
		document.writeln('            <a href="#standard" class="sizer" id="txt_std" onclick="text_size(\'standard\'); return false;">A</a>');
		document.writeln('            <a href="#large" class="sizer" id="txt_large" onclick="text_size(\'large\'); return false;">A</a>');
		document.writeln('            <a href="#huge" class="sizer" id="txt_huge" onclick="text_size(\'huge\'); return false;">A</a>');
		document.writeln('            &nbsp;');
		document.writeln('            <a href="#colour_1" class="colourer" id="txtcol_1" onclick="text_colour(1); return false;">A</a>');
		document.writeln('            <a href="#colour_2" class="colourer" id="txtcol_2" onclick="text_colour(2); return false;">A</a>');
		document.writeln('            <a href="#colour_3" class="colourer" id="txtcol_3" onclick="text_colour(3); return false;">A</a>');
		document.writeln('            <a href="#colour_4" class="colourer" id="txtcol_4" onclick="text_colour(4); return false;">A</a>');
		document.writeln('          </li>');
		document.writeln('        </ul>');
		document.writeln('      </div>');
	}
}

function text_size(new_size)
{
	lssSettings.size = new_size;
	lssSettings.save();
	if (browserConfig._dynamic_customize)
		set_text_size(new_size);
	else
		window.location.reload();
}

function text_colour(new_colour_set)
{
	set_text_colour(new_colour_set);
	lssSettings.colour = new_colour_set;
	lssSettings.save();
	if (browserConfig._dynamic_customize)
		set_text_colour(new_colour_set);
	else
		window.location.reload();
}

function set_text_size(new_size)
{
	sizeLink = document.getElementById('css-text-size');
	sizeLink.href = "http://"+browserConfig.css_host+"/sys.css/text-size-" + new_size + ".css";
}

function set_text_colour(new_colour_set)
{
	colourLink = document.getElementById('css-text-colour');
	colourLink.href = "http://" + browserConfig.css_host+"/sys.css/text-colour-" + new_colour_set + ".css";
}