/* We don't want this visible when JavaScript is disabled.  */
function GenerateLayoutMenu(path)
{
    if (is_nav4)
        return;

    if (is_cookie == "false")
        return;

    document.write('        <div class="MenuSection">Layout</div>');
    document.write('        <div class="MenuItem"');
    document.write('             title="Color Schemes"');
    document.write('             onmouseover="javascript:window.status=\'Color Schemes\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;">Color Schemes:');
    document.write('        </div>');
    document.write('        <div class="MenuItem">');
    document.write('          &nbsp;&nbsp;&nbsp;');
    document.write('          <a href="index.html"');
    document.write('             title="Black Color Scheme"');
    document.write('             onmouseover="javascript:window.status=\'Black Color Scheme\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;"');
    document.write('             onclick="javascript:SetActiveStyleSheet(\'default\', \'Black Scheme\', true); return false;">Black</a>');
    document.write('          <a href="index.html"');
    document.write('             title="Gray Color Scheme"');
    document.write('             onmouseover="javascript:window.status=\'Gray Color Scheme\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;"');
    document.write('             onclick="javascript:SetActiveStyleSheet(\'default\', \'Gray Scheme\', true); return false;">Gray</a>');
    document.write('          <a href="index.html"');
    document.write('             title="White Color Scheme"');
    document.write('             onmouseover="javascript:window.status=\'White Color Scheme\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;"');
    document.write('             onclick="javascript:SetActiveStyleSheet(\'default\', \'White Scheme\', true); return false;">White</a>');
    document.write('        </div>');
    document.write('        <div class="MenuItem"');
    document.write('             title="Fonts"');
    document.write('             onmouseover="javascript:window.status=\'Fonts\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;">Fonts:');
    document.write('        </div>');
    document.write('        <div class="MenuItem">');
    document.write('          &nbsp;&nbsp;&nbsp;');
    document.write('          <a href="index.html"');
    document.write('             title="Small Font"');
    document.write('             onmouseover="javascript:window.status=\'Small Font\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;"');
    document.write('             onclick="javascript:SetActiveStyleSheet(\'Small Font\', \'default\', true); return false;">Small</a>');
    document.write('      	<a href="index.html"');
    document.write('             title="Medium Font"');
    document.write('             onmouseover="javascript:window.status=\'Medium Font\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;"');
    document.write('             onclick="javascript:SetActiveStyleSheet(\'Medium Font\', \'default\', true); return false;">Medium</a>');
    document.write('          <a href="index.html"');
    document.write('             title="Large Font"');
    document.write('             onmouseover="javascript:window.status=\'Large Font\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;"');
    document.write('             onclick="javascript:SetActiveStyleSheet(\'Large Font\', \'default\', true); return false;">Large</a>');
    document.write('        </div>');
    document.write('        <div class="MenuItem"');
    document.write('             title="Languages"');
    document.write('             onmouseover="javascript:window.status=\'Languages\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;">Languages:');
    document.write('        </div>');

    GenerateTranslationBox(path, "|", "&nbsp;&nbsp;&nbsp;&nbsp;");

    document.write('        <div class="MenuItem"');
    document.write('             title="Search"');
    document.write('             onmouseover="javascript:window.status=\'Search\'; return true;"');
    document.write('             onmouseout="javascript:window.status=DefaultWindowStatus(); return true;"><strong>S</strong>earch:');
    document.write('        </div>');

    GenerateSearchBox(path, "&nbsp;&nbsp;&nbsp;");
}