html
{
	margin: 0;
	padding: 0;
	font-family: -apple-system, "Helvetica Neue", "Helvetica", "Lucida Grande", Verdana, sans-serif;
	font-size: 11pt;
}
img
{
	border: 0;
}
a.external
{
	padding-right: 16px;
	background: transparent url(../images/external.svg) no-repeat center right;
}
a:link,
a:visited
{
	color: #236;
}
a:hover,
a:active
{
	color: #78b;
}
p,dd
{
	line-height: 1.5;
}
body
{
	margin: 0;
	padding-top: 36px;
	background: #fff url(../images/allflags.png) repeat-x 0 0;
}
/* IE needs 1px more?? */
* html body
{
	padding-top: 37px;
}
pre
{
	border: 2px solid #ee7;
	background-color: #ffb;
	padding: 1em;
}
div#main
{
	position: relative;
	clear: both;
	background-color: #fff;
	padding: 20px 30px 80px 30px;
}
ul#navbar
{
	display: block;
	margin: 0;
	margin-left: 30px;
	padding: 0 !important;
}
/*ul#navbar>li*/
/* IE doesn't understand child selectors (>) :( */
ul#navbar li
{
	margin: 0;
	margin-right: 4px;
	display: block;
	float: left;
	font-size: 11pt;
	background-color: #ccc;
	border: 2px solid #bbb;
	border-bottom: none;
}
/* ul#navbar>li:hover, */
/* ul#navbar>li.here */
ul#navbar li:hover,
ul#navbar li.here
{
	background-color: #fff;
	border-color: #eee;
}
/* ul#navbar>li a */
ul#navbar li a
{
	display: block;
	padding: 4px 1em;
	color: #000;
	text-decoration: none !important;
}
h1
{
	color: #567;
}
p#download
{
	text-align: center;
}
div#sidebar {
	float: right;
	border: 2px solid #bbb;
	background-color: #eee;
	margin: 1em 0 1em 1em;
	padding: 0 1em;
}
div#sidebar dt {
	margin: 0;
	text-align: left;
	margin-left: 0px;
	font-weight: bold;
}
div#sidebar dd {
	margin: 0px;
}
div#sidebar ul {
	padding: 0px;
}
div#sidebar ul li {
	list-style-type: none;
	margin-top: 1px;
}
dl.faq dd {
	margin-left: 0px;
}
h2, h3
{
	color: #456;
	padding-bottom: 10px;
}
div#sidebar h3
{
	border-bottom: 2px solid #bbb;
}
*+h2, *+h3 {
	margin-top: 2em;
}
h2
{
	font-size: 14pt;
}
h3
{
	font-size: 12pt;
}
img.link {
	border: 0;
	color: black;
	background-color: white;
}
div.screenshot {
	text-align: center;
	margin: auto;
	width: 541px;
	height: 563px;
}
a.download {
	text-decoration: none;
}
a.html5badge {
	text-decoration: none;
}
div#compliance
{
	text-align: right;
}
/* IE treats absolute in a fashion of his own, */
/* so let's fall back to a static, right-aligned div */
* html div#compliance
{
	position: static;
	text-align: right;
}
dl.faq dt
{
	color: #666;
}
dl.faq dt:first-letter,
dl.faq dd:first-letter
{
	font-weight: bold;
	font-size: 12pt;
}