body {
	margin: 30px;
	font-family: sans-serif;
	font-size: medium;
}

body.white {
	color: black;
	background-color: ghostwhite;
}

body.black {
	color: ghostwhite;
	background-color: black;
}

img.centered {
	display: block;
	margin: auto;
	max-width: 100%;
}

@font-face {
    font-family: 'ocramedium';
    src: url('assets/ocra-mac-webfont.woff2') format('woff2'),
         url('assets/ocra-mac-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;

}

.unselectable {
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

div.links {
	position: absolute;
	top: 0;
	left: 0;
	padding: 30px;
	width: 10em;
	font-family: ocramedium;
	font-size: x-large;
}

div.software {
	background-color: white;
	border: 1px solid black;
	max-width: 600px;
	margin: 0 auto 30px auto;
	padding: 0 30px 30px 30px;
}

div.toc {
	background-color: white;
	border: 1px solid black;
	padding: 1em 1em 0.5em 1em;
	margin-bottom: 30px;
}

p.toc {
	margin-top: 0;
	margin-bottom: 0.5em;
	padding: 0px 0px 0px 3em;
	text-indent: -3em;
}

a {
	  word-wrap: break-word;
}

a.toc {
	font-family: sans-serif;
	font-weight: bold;
}

a.toc:link { color: #0000EE; }
a.toc:visited { color: #0000EE; }

div.black {
	background: black;
}

div.white {
	background: ghostwhite;
}

div.dialing {
	font-family: ocramedium;
	font-size: medium;
	text-align: center;
    word-wrap: break-word;
}

span.organization:before { content: "org"; }
span.hat:before { content: "at"; }
span.software:before { content: "software "; }
span.number:before { content: "7402 "; }
span.stop:before { content: "dot "; }

h1 {
	font-family: ocramedium;
	font-size: xx-large;
	font-weight: normal;
	text-align: center;
	margin: 20px 0 20px 0;
}

h2 {
	font-family: sans-serif;
	font-size: x-large;
}

h3 {
	font-family: sans-serif;
	font-size: medium;
	font-variant: small-caps;
}

div.pre {
    overflow: auto;
    margin-left: 1em;
}
	
li {
	margin-top: 0.5em;
}

pre {
    background-color: #FFFACD;
    padding: 0.5em;
    display: inline-block;
    margin-top: 0;
    margin-bottom: 0;
    -ms-text-size-adjust: none;
    -moz-text-size-adjust: none;
    -o-text-size-adjust: none;
    -webkit-text-size-adjust: none;
}

div.top-spacer {
	font-family: ocramedium;
	font-size: x-large;
	padding: 5em 0 0 0;
	margin: 1em 0 0 0;
}

a.white { color: ghostwhite; }
a.black { color: black; }

a:link { text-decoration: none; }
a:visited { text-decoration: none; }
a:hover { text-decoration: underline; }
a:active { text-decoration: underline; }