var toc_expand = '+';
var toc_contract = '–';

function sound_sample (legend, filename)
{
    document.write ('<td>' + legend + ': &nbsp;</td>\n');
    document.write ('<td><embed src="' + filename + '.wma" align="middle" autostart="false" /></td>');
}

function computer ()
{
    document.write ('PC');
}

function undo ()
{
    document.write ('Ctrl+Z');
}

function redo ()
{
    document.write ('Ctrl+Y');
}

function del ()
{
    document.write ('Del');
}

function recordings_folder ()
{
    document.write ('My Documents\n');
    document.write ('    Recordings');
}

function save_tracks_folder ()
{
    document.write ('My Documents\n');
    document.write ('    My Music');
}

function explorer ()
{
    document.write ('Explorer');
}

function explorer_window ()
{
    document.write ('an Explorer window');
}

function explorer_windows ()
{
    document.write ('Explorer windows');
}

function is_ie ()
{
    return navigator.appName.indexOf ('Microsoft') != -1;
}

function ul (id, left_margin)
{
    var display = 'none';
    if (id == 'toc_main')
        display = 'block';
    var ul_margin_offset = 0;
    if (is_ie ())
        ul_margin_offset = 2.6;
    document.write ('<ul id="' + id + '" style="margin-left: ' + (left_margin + ul_margin_offset) + 'em; display:' + display + '">');
}

function link_to_toc ()
{
}

function multsel_key ()
{
    document.write ('Ctrl');
}

function alt_key ()
{
    document.write ('Alt');
}

function settings_dialog ()
{
    document.write ('Settings dialog');
}

// For printing under Windows
document.write ('<link rel="stylesheet" type="text/css" href="helpfile.css" />');
document.write ('<link rel="stylesheet" type="text/css" href="platform.css" />');