/* es-specific style */


/*-------------------------
the classics
-------------------------*/

#header_picture {
        background-color: #3e58b9;
    }

#header_picture_homepage {
        background-color: #4f66be;
    }

/*-------------------------
main menu dimensioning
-------------------------*/

#header li {
		font-size: 1.15em;
	}

#header #menu_more {
		width: 18%;
		min-width: 6.2em;
	}

#header #menu_switch_to_linux {
		width: 26%;
		min-width: 7.3em;
	}

#header #menu_windows {
		width: 31%;
		min-width: 9.8em;
	}

#header #menu_linux {
		width: 25%;
		min-width: 7.8em;
	}

/*-------------------------
yellow navigation buttons
-------------------------*/

#mainbody a.previousbutton, #mainbody a.nextbutton, #mainbody a.upbutton {
        width: 15.5em;
    }

/*-------------------------
subheaders
-------------------------*/

#subheader_foot { 
        width: 92%;
    }

/*-------------------------
in linux.misunderstanding_free_software page
-------------------------*/

#morebox { 
        width: 75%;
    }