/* ==========================================================================
   ksaehwalab skin — rules taken from skins/ksaehwalab/main.css
   (MediaWiki 1.18.1 MonoBook base + ksaehwalab theme).

   Deliberate changes from the original are marked  << CHANGED >>.
   Everything else keeps the original colours, ratios and spacing.
   ========================================================================== */

/* ---- MonoBook base ---------------------------------------------------- */
p {
	margin: .4em 0 .5em 0;
	line-height: 1.5em;
}
h1, h2, h3, h4, h5, h6 {
	color: black;
	background: none;
	font-weight: normal;
	margin: 0;
	padding-top: .5em;
	padding-bottom: .17em;
	border-bottom: 1px solid #aaa;
}
h1 { font-size: 188%; }
h2 { font-size: 150%; }
h3, h4, h5, h6 {
	border-bottom: none;
	font-weight: bold;
}
h3 { font-size: 132%; }
h4 { font-size: 116%; }
h5 { font-size: 100%; }
h6 { font-size: 80%;  }

ul {
	line-height: 1.5em;
	list-style-type: square;
	margin: .3em 0 0 1.5em;
	padding: 0;
}
ol {
	line-height: 1.5em;
	margin: .3em 0 0 3.2em;
	padding: 0;
	list-style-image: none;
}
li {
	margin-bottom: .1em;
}
.printfooter {
	display: none;
}

/* ---- ksaehwalab theme ------------------------------------------------- */
.clear {
	clear: both;
	height: 20px;
}
body {
	background: #f9f9f0;
	margin: 0;
	/* << CHANGED >> original 76%; enlarged for modern displays.
	   All other sizes are in em, so they scale from this one value. */
	font: 90%/1.6em verdana, tahoma, arial, sans-serif;
	color: #333;
	text-align: center;
}
a {
	text-decoration: none;
}
a:link, a:visited {
	color: #265e15;
}
a:hover, a:active {
	border-bottom: #963 1px solid;
}
h1, h2, h3, h4, h5, h6 {
	font-family: Georgia, Verdana, Arial, Serif;
}

/* << CHANGED >> column widths scaled with the type (x1.18) so the proportions
   of the original three-part layout are preserved:
   container 780->920, navigation/footer 760->900,
   content-main 520->620, sidebar 200->240.  620 + 20 + 240 = 880 = 920 - 40 */

/* << CHANGED >> new: logo bar above the tabs */
#topbar {
	width: 900px;
	margin: 18px auto 8px;
	overflow: hidden;
	position: relative;
	text-align: left;
	font-family: Trebuchet MS, Tahoma, Verdana, Arial, Serif;
}
#sitelogo {
	float: left;
	display: block;
	border: 0;
}
#sitelogo:hover { border: 0; }
#sitelogo img {
	display: block;
	height: 38px;
	width: auto;
	border: 0;
}
/* << CHANGED >> the search box is gone; the affiliation sits in its place. */
#deptline {
	float: right;
	margin: 0;
	padding-top: 15px;
	font-size: 0.9em;
	color: #777;
	line-height: 1.4em;
}
#deptline a:link, #deptline a:visited { color: #777; }
#deptline a:hover { border-bottom: #963 1px solid; }

/* << CHANGED >> menu button, shown only on narrow screens */
#menu-toggle {
	display: none;
	float: right;
	margin-top: 4px;
	border: #dedede 1px solid;
	background: #ededed;
	color: #666;
	font-family: inherit;
	font-size: 1em;
	font-weight: bold;
	padding: 5px 13px;
	cursor: pointer;
}
#menu-toggle:hover { background: #fff; border-color: #ccc; color: #333; }

#container {
	border: #ccc 1px solid;
	background: #fff;
	margin: 0 auto;
	width: 920px;
	position: relative;
	text-align: left;
}
#navigation {
	background: transparent;
	margin: 0 auto;
	overflow: hidden;
	width: 900px;
	position: relative;
	text-align: left;
	font-family: Trebuchet MS, Tahoma, Verdana, Arial, Serif;
}
#navigation ul {
	margin: 0;
	padding: 0;
	list-style-type: none;
	list-style-image: none;
}
#navigation ul li {
	float: left;
	margin: 0 5px 0 0;
	list-style-type: none;
}
#navigation ul li a {
	border: #dedede 1px solid;
	border-bottom: none;
	padding: 2px 10px;
	display: block;
	font-weight: bold;
	color: #666;
	text-decoration: none;
	background: #ededed;
	letter-spacing: 0px;
}
#navigation ul li a:hover,
#navigation ul li a:active,
#navigation ul li.current_page_item a {
	background: #fff;
	color: #333;
	border: #ccc 1px solid;
	border-bottom: none;
}

/* << CHANGED >> #header now holds only the lab name; the page title moved to
   #pagehead so that the notice can sit between the two. */
#header, #pagehead {
	clear: both;
	margin: 10px 5px;
	overflow: hidden;
}
#header  { margin-bottom: 0; }
#pagehead { margin-top: 0; }
#header h1, #pagehead h1 {
	font-size: 1.8em;
	margin: 10px 0 0 10px;
	font-variant: small-caps;
	letter-spacing: 0px;
	border-bottom: none;
}
#header h1 a {
	text-decoration: none;
	border: 0;
}
#headerimage {
	clear: both;
	background: #fff;
	margin: 1px;
	color: #fff;
	height: 1px;
}

/* << CHANGED >> new: standing notice about the rename */
#notice {
	clear: both;
	margin: 10px 20px 0 15px;
	padding: 8px 12px;
	background: #f9f9f0;
	border: 1px solid #e2e2d0;
	font-size: 0.95em;
	line-height: 1.5em;
	color: #555;
}
#notice .label {
	font-variant: small-caps;
	letter-spacing: 1px;
	font-weight: bold;
	color: #242;
}

#content {
	margin: 10px 10px 10px 30px;
}
#content h2 {
	font-size: 1.5em;
	margin: 1em 0 0;
	font-weight: normal;
	line-height: 1.4em;
	letter-spacing: 0px;
}
#content h3 {
	font-size: 1.4em;
	font-weight: normal;
	margin: 1em 0 0;
	color: #265e15;
}
#content h4 {
	font-size: 1.1em;
	margin: 1em 0 0 0;
}
#content h5 {
	font-size: 1em;
	margin: 1em 0;
}
#content ol {
	list-style-type: decimal;
	margin: 1em;
	padding: 0 1em;
}
#content-main ul {
	margin: 0 1em;
	padding: 0 1em;
	list-style-image: url(bullet.png);
}
#content-main {
	float: left;
	width: 620px;
	margin-right: 20px;
}
/* << CHANGED >> new: small helpers used by the content pages */
#content-main p {
	margin: .6em 1em .8em 1em;
}
#content-main .note {
	font-size: 0.9em;
	color: #777;
}
#content-main .cite {
	color: #333;
}
#content-main .cite .venue {
	font-style: italic;
}
#content-main .date {
	color: #777;
	font-size: 0.9em;
	margin-right: .3em;
}

#sidebar {
	float: left;
	width: 240px;
	font-size: 0.9em;
}
#sidebar h2 {
	border-bottom: none;
}
#sidebar ul {
	list-style: none;
	margin: 0;
	padding: 0;
}
#sidebar li {
	margin-bottom: 5px;
}
#sidebar ul ul {
	list-style: none;
	margin: 0.5em 0 0 1em;
}
#sidebar ul ul ul {
	margin: 0 0 0 1em;
}
li.sidebox {
	/* the original layered url(img/sideheadtop.gif) over this grey; that image
	   is missing from the recovered files and the saved screenshot shows a
	   flat panel, so only the colour is kept. */
	padding: 10px;
	background: #ededed;
	margin-bottom: 10px;
}
li.sidebox h2 {
	font-weight: normal;
	font-size: 1.4em;
	text-align: left;
	color: #242;
	font-variant: small-caps;
	letter-spacing: 0px;
}

#footer {
	clear: both;
	background: transparent;
	margin: 0 auto;
	width: 900px;
	text-align: left;
}
#footer p {
	float: left;
	width: 50%;
	line-height: 1.2em;
}
/* << CHANGED >> "Log in" removed; the university name sits here instead. */
#footer p.right {
	float: right;
	margin: 1em 0;
	width: 50%;
	text-align: right;
	font-size: 0.9em;
	color: #999;
}
#footer #colophon {
	clear: both;
	width: 100%;
	margin: 0;
	overflow: hidden;
	text-align: left;
	font-family: Trebuchet MS, Tahoma, Verdana, Arial, Serif;
}
#header, #pagehead, #content, #sidebar, #footer {
	overflow: hidden;
}

/* ==========================================================================
   << CHANGED >> responsive behaviour (the original skin had none)
   ========================================================================== */

/* --- fluid width: the two columns keep their shape -------------------- */
@media (max-width: 980px) {
	#topbar, #navigation, #footer {
		width: auto;
		margin-left: 12px;
		margin-right: 12px;
	}
	#container {
		width: auto;
		margin: 0 12px;
	}
	#content {
		margin: 10px 16px;
	}
	#notice {
		margin: 10px 16px 0;
	}
	#content-main {
		width: calc(100% - 260px);
		margin-right: 0;
	}
	#sidebar {
		width: 240px;
		margin-left: 20px;
	}
}

/* --- single column: sidebar drops below, tabs fold into a menu -------- */
@media (max-width: 740px) {
	#menu-toggle {
		display: block;
	}
	#deptline {
		float: none;
		clear: both;
		padding-top: 8px;
		font-size: 0.85em;
	}
	#nav-list {
		display: none;
		clear: both;
	}
	#nav-list.open {
		display: block;
	}
	#navigation ul li {
		float: none;
		margin: 0 0 -1px 0;
	}
	#navigation ul li a {
		border: #dedede 1px solid;
		padding: 8px 12px;
	}
	#navigation ul li.current_page_item a {
		border: #ccc 1px solid;
	}
	#header, #pagehead {
		margin-left: 16px;
		margin-right: 16px;
	}
	#header h1, #pagehead h1 {
		font-size: 1.5em;
		margin-left: 0;
	}
	#content-main {
		float: none;
		width: auto;
		margin: 0;
	}
	#content-main ul {
		margin: 0;
		padding: 0 0 0 1.6em;
	}
	#content-main p {
		margin-left: 0;
		margin-right: 0;
	}
	#sidebar {
		float: none;
		width: auto;
		margin: 24px 0 0;
	}
	#footer p,
	#footer p.right {
		float: none;
		width: auto;
		text-align: left;
	}
	#footer p.right {
		margin: .3em 0 1em;
	}
}

/* ==========================================================================
   << CHANGED >> new: Research page — layered stack and axis sections
   ========================================================================== */
#content-main.wide {
	float: none;
	width: auto;
	margin-right: 0;
}

.stack {
	margin: 1.4em 1em 0.6em 1em;
}
.layer-row {
	display: flex;
	align-items: stretch;
	margin-bottom: 6px;
}
.layer-time {
	flex: 0 0 92px;
	display: flex;
	align-items: center;
	justify-content: flex-end;
	padding-right: 12px;
	color: #777;
	text-align: right;
}
.layer-box {
	flex: 1 1 auto;
	border: 1px solid #ddd;
	border-left-width: 5px;
	padding: 12px 16px;
}
.layer-box h3 {
	margin: 0;
	padding: 0;
	font-size: 1.25em;
	font-weight: normal;
	font-variant: small-caps;
	letter-spacing: 1px;
	border-bottom: none;
}
.layer-box h3 a { border: 0; }
.layer-box p {
	margin: .25em 0 0 0;
	color: #555;
}
.layer-ondevice { border-color: #ddd #ddd #ddd #265e15; background: #eef3ea; }
.layer-ondevice h3, .layer-ondevice h3 a:link, .layer-ondevice h3 a:visited { color: #265e15; }
.layer-mcs      { border-color: #ddd #ddd #ddd #7a5f1a; background: #f4efe3; }
.layer-mcs h3, .layer-mcs h3 a:link, .layer-mcs h3 a:visited { color: #7a5f1a; }
.layer-cnc      { border-color: #ddd #ddd #ddd #35526e; background: #e9eef3; }
.layer-cnc h3, .layer-cnc h3 a:link, .layer-cnc h3 a:visited { color: #35526e; }

.stack-base {
	margin-left: 92px;
	background: #242;
	color: #f1f3f2;
	padding: 10px 16px;
	display: flex;
	justify-content: space-between;
	flex-wrap: wrap;
	gap: 10px;
}
.stack-base strong {
	font-family: Georgia, Verdana, Arial, Serif;
	font-weight: normal;
	font-variant: small-caps;
	letter-spacing: 1px;
	font-size: 1.15em;
}
.stack-caption {
	margin: .6em 1em 0 calc(1em + 92px);
	color: #777;
}

#content-main .axis h4 {
	margin: 1.1em 1em .2em 1em;
	color: #444;
}
#content-main .axis ul {
	margin-bottom: .6em;
}

@media (max-width: 740px) {
	.stack { margin: 1.2em 0 .6em 0; }
	.layer-row { display: block; margin-bottom: 10px; }
	.layer-time {
		display: block;
		padding: 0 0 3px 0;
		text-align: left;
	}
	.stack-base { margin-left: 0; display: block; }
	.stack-base span { display: block; margin-top: 4px; }
	.stack-caption { margin: .6em 0 0 0; }
	#content-main .axis h4 { margin-left: 0; margin-right: 0; }
}