body
{
	text-align:left; 
/* 
	min-width:700px;  (now done in JavaScript)
*/
}

@media only screen and (max-device-width: 480px) 
{      
	/*
	 * -webkit-text-size-adjust:100% to fix iPhone font size problems (automatic adjustment fails)
	 */
	body { -webkit-text-size-adjust:100% }
	/*
	 * other adjustment for small displays
	 */
	/*
	#nav { text-align: center; font-size:25px; width: 640px; }
	#nav p { padding-right: 0; padding-bottom: 20px; padding-top: 10px}
	#nav p img { width:34px }
	div#main { margin-top: 3.5em } 
	*/
	div#main_tabs { margin-left: 0; margin-right: 0 }
	ul.yui-nav { font-size:30px; white-space: nowrap; padding-left: 3px }
	div.yui-content { min-width: 625px }
	div.yui-content th { white-space: nowrap } /* relevant for date column on about page */
	h2 { font-size:20px }
	h3 { font-size:19px }
	td { font-size:18px }
}

@media only screen and (min-device-width: 481px) 
{
	#nav
	{
		text-align: right; 
		margin-top: 25px;
		margin-right: 20px;
		padding-top: 0;
	}
	#nav p
	{	
		padding-right: 70px;
		padding-bottom: 0;
	}	
}

#nav p
{	
	padding-bottom: 0;
	margin-top: 15px; /* margin also relevant in case alt text of logo is displayed */
	margin-bottom: 0;
}


#logo
{
	width:249px; 
	height:67px; 
	margin-bottom: -25px;
}

.close
{
	text-align: left; 
	font-size: 11px; 
	cursor:pointer;
	display:none;
}

.close:hover
{
	color: white;
	background-color: black;
}

th, td 
{
	border: none;
/*
	padding-top:25px;
	padding-bottom:10px;
*/
}

h1, h2, h3
{
	margin-top:2.5em;
	margin-bottom:1em;
}

#ads_simple_div_without_tabs
{
    margin: 0px 0px 20px 20px; 
    padding: 10px 10px 0px 10px; 
    background-color: #EDF5FF; 
    border: 1px solid #808080;
    border-right-style: none;
}

#nav a, #footer a, #riddle a
{
	color: black;
	text-decoration: none;
}

#nav a:hover, #footer a:hover, #riddle a:hover
{
	text-decoration: underline;			
}

#nav a.this_page, #footer a.this_page 
{
	/*
	text-decoration: underline;
	*/
	font-style: italic;
}

#nav p img
{
	padding-left:10px;
	padding-right:5px;
	margin-bottom:-2px;
}

#footer
{
	text-align:center; 
	margin-bottom:2em;
}

#main_tabs, #feedback_tabs
{
	margin-left: 20px; 
	margin-right: 20px; /* new */
	margin-bottom: 20px;
}

.feedback_question
{
	margin-top:1em;
	margin-bottom:0.5em;
	font-size:14px;
}

#feedback_tabs input
{
	margin-top:0.3em;
	margin-bottom:0.3em;
	margin-right:0.2em;
	margin-left:0.2em;
}

#feedback_tabs label
{
	font-size:14px;
	margin-left:0.2em;
}

#feedback_thanks
{
	font-size:14px;
	margin-top:1em;
	font-weight:bold;
}

#feedback_tabs .yui-content
{
	padding-bottom:1em;
}

#main_tabs .yui-content 
{
	/* 
		remove right border 
	*/
	// border-width: 1px 0px 1px 1px;
}

#ads_tabs
{
	margin-left: 20px; 	
	margin-bottom: 20px;
}

#ads_tabs .yui-content 
{
	/* 
		remove right border 
	*/
	border-width: 1px 0px 1px 1px;
}

img
{
	border-width: 0px;
	border-color: black;
	border-style: solid;
	white-space: nowrap;
}

/*
 * This is how images of keys will be displayed, if the image itself is not found.
 * The span element is inserted by replaceBrokenImgByAltText.js …
 */ 
span.key
{
	font-weight: bold;
	white-space: nowrap;
	background-color:#F7F7F7;
	background-image:-webkit-linear-gradient(rgba(255,255,255,.4),rgba(0,0,0,.1));
	background-image:-moz-linear-gradient(rgba(255,255,255,.4),rgba(0,0,0,.1));
	background-image:-o-linear-gradient(rgba(255,255,255,.4),rgba(0,0,0,.1));
	background-image:linear-gradient(rgba(255,255,255,.4),rgba(0,0,0,.1));
	border:1px solid;
	border-color:#DDD #AAA #888 #CCC;
	border-radius:2px;
	font-family:inherit;
	padding:.3em .6em;
	text-shadow:0 1px rgba(255,255,255,.5);
}

code.terminal
{
	background-color:white;
	padding:5px;
	border: 1px solid rgb(150,150,150);
	font-size: 13px;
}

.yui-content ol
{
	line-height:2.5em;
}

.yui-content ul
{
	line-height:2.5em;
}

.search-engine-hints
{
	display:none;
}

#-l-e-f-t-C-o-l-u-m-n
{
	animation: r2w 15s;
	-webkit-animation: r2w 15s; /* Safari and Chrome */
}
@keyframes r2w
{
	0%   {background:white;}
	80%  {background:white;}
	90%  {background:black;}
	100% {background:white;}
}
@-webkit-keyframes r2w /* Safari and Chrome */
{
	0%   {background:white;}
	80%  {background:white;}
	90%  {background:black;}
	100% {background:white;}
}