body{
	font-family:sans-serif;
	line-height:140%;
	margin:0;
}
h1,h2,h3{
	font-weight:500;
}
h1,h2{
	letter-spacing:0.04em;
}
h1{
	font-size:28pt;
	line-height:100%;
}
h2{
	font-size:20pt;
}
h3{
	font-size:16pt;
}
hr{
	border:0;
}
pre,code,var{
	font-family:monospace,monospace;
	line-height:normal;
	font-style:normal;
	border:1px solid rgba(176,176,176,0.3);
	background-color:rgba(176,176,176,0.15);
}
#titlebar{
	width:100%;
	padding:4pt;
	background-color:rgba(176,176,176,0.2);
}
.programicon{
	width:4em;
	padding-left:1em;
	padding-right:1em;
}
#navigation{
	font-size:small;
	text-align:right;
}
section{
	margin-top:2.5em;
	margin-bottom:2em;
	padding-left:0.75em;
	padding-right:0.75em;
	overflow:hidden;
}
section section{
	margin-top:1em;
	margin-bottom:1em;
	padding:initial;
}
cite{
	font-style:normal;
}
#relatedarticle{
	margin:8em;
	font-size:24pt;
}
.restrictedwidth{
	max-width:72em;
	margin:0 auto;
}
.nostretch{
	width:1%;
}
.adaptwidth{
	display:block;
	margin:0 auto;
	width:100%;
	height:auto;
}
.benchmark{
	width:100%;
	font-size:85%;
}
table.benchmark tr td div{
	float:left;
}



.grid-tile{
	display:inline-block;
	margin:0.25em;
	text-align:center;
}
a.win10_button{
	display:block;
	margin:0.75em;
	border:2px solid #ddd;
	border-radius:0.1875em;
	padding:0;
	min-width:14em;
	height:2em;
	line-height:2em; /* center vertically */
	background-color:#ddd;
	color:#000;
	text-decoration:none;
}
a.win10_button:hover{
	border:2px solid #888;
}
a.win10_button_highlight{
	border:2px solid #0078d4;
	background-color:#0078d4;
	color:#fff;
}
a.win10_button_highlight:hover{
	border:2px solid #000;
}


kbd{
	font-family:inherit;
	border:1pt solid;
	border-radius:4pt;
	padding:0 0.2em 0 0.2em;
}
code,var{
	padding:0 0.25em 0 0.25em;
}
pre{
	padding:0.25em;
	/* wrap lines anywhere because smartphones … */
	white-space:pre-wrap;
	overflow-wrap:anywhere;
}
ui-quote{
	background-color:rgba(176,176,176,0.15);
	border:1px solid rgba(176,176,176,0.3);
	padding:0 0.25em 0 0.25em;
}
caution-box{
	display:block;
	margin-top:1em;
	margin-bottom:1em;
	margin-left:0;
	margin-right:0;
	background-color:rgba(176,176,176,0.15);
	padding:0.5em;
}
caution-box::before{
	content:"⚠️ ";
}


article{
	background-color:rgba(176,176,176,0.2);
	padding:8pt;
	margin-top:16pt;
}
footer{
	font-size:smaller;
}
#rss{
	font-size:75%;
	color:white;
	background-color:#EE802F;
	padding:0 0.15em 0 0.15em;
	text-decoration:none;
	stroke:none;
	fill:white;
}
:target{
	border:3px solid;
}

.youtube{
	display:flex; /* fit exactly to content (inline-block doesn’t get this right?!) */
	position:relative; /* serve as position anchor to children */
	width:100%;
	border:2px solid #000;
	padding:0;
}
.youtube iframe{
	border:none;
	/* place exactly above the preview image */
	position:absolute;
	left:0;
	top:0;
	width:100%;
	height:100%;
}