<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/*

layout

*/

body {
	width:800px;
	margin:auto;
}
h1 {
	font-size:2em;
	margin:1em .5em;
	text-align:center;
}
h2 {
	font-size:1.4em;
	margin:0.5em;
}
h3 {
	font-size:1.1em;
	margin:1em .5em;
}
section {
	margin:1em;
}
p {
	text-align:justify;
	margin:1em;
}
ul {
	list-style-type:none;
	margin:0 1em;
	padding:0;
}
li {
	margin:.5em 0;
}
dl {
	margin:0 1em;
}
object,
code {
	display:block;
	white-space:pre-wrap;
	font-family:monospace;
	width:600px;
	min-height:300px;
   padding:8px;
}
object,
code.editor {
   margin:1em 0;
}
nav {
	display:table;
	table-layout:fixed;
	border-spacing:0.5em;
	width:100%;
}
nav &gt; a {
	display:table-cell;
	text-align:center;
	text-decoration:none;
	padding:0.5em;
}
table {
	width:800px;
	border-spacing:0;
	box-sizing:border-box;
	border:2px;
	border-style:solid;
	margin:32px 0;
}
table caption {
	line-height:2em;
	font-size:1.25em;
	font-weight:600;
}
table th {
	line-height:2em;
	font-size:1em;
	padding:0 0.4em;
}
table td {
	/*line-height:1.2em;*/
	padding:0.4em;
}
table.scenario td {
	height:25px;
}
table.scenario .action {
	width:240px;
	text-align:left;
	vertical-align:top;
}
table.scenario .requisite {
	width:160px;
	text-align:left;
	vertical-align:top;
}
table.scenario .level {
	width:40px;
	text-align:center;
	vertical-align:top;
}
table.scenario .result {
	width:360px;
	text-align:left;
	vertical-align:top;
}

.unauthorised::before,
.authorised::before {
	content:'\25A0';
}

/*

colors

*/

body {
	color:rgb(64,64,64);
	background:rgb(250,250,250);
	/*box-shadow: 0 3px 4px 0 rgba(0, 0, 0, 0.14), 0 3px 3px -2px rgba(0, 0, 0, 0.2), 0 1px 8px 0 rgba(0, 0, 0, 0.12);*/
}
hr {
	color:rgb(236,236,236);
	margin:4em 2em;
}
code.terminal::before {
   content:'&gt; ';
}
code.terminal {
	color:rgb(250,250,250);
	background:rgb(80,80,80);
}
object,
code.editor {
	background:rgb(232,232,232);
}
nav &gt; a {
	color:rgb(64,64,64);
	background:rgb(232,232,232);
}
nav &gt; a:hover {
	background:rgb(236,236,236);
}
table {
	border-color:rgb(232,232,232);
	/*box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 3px 1px -2px rgba(0, 0, 0, 0.2), 0 1px 5px 0 rgba(0, 0, 0, 0.12);*/
}
table thead {
	background:rgb(232,232,232);
}
.unauthorised {
	color:rgb(172,40,63);
}
.authorised {
	color:rgb(192,244,202);
}</pre></body></html>