/* This is a CSS file for pages woven by the literate programming tool inweb */


span.named-paragraph, span.named-paragraph-defn, span.named-paragraph-number {
	font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
	text-decoration: none;
}

/* Now some generalities: */

body {
	background-color: #ffffff;
	margin: 8px;
	font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
	font-size: 16px;
	line-height: 24px;
	background-color: transparent;
	-webkit-font-smoothing: antialiased;
}

/* Forms of paragraph: */

p {
	margin: 0;
	padding-top: 5px;
	padding-bottom: 5px;
	clear: both;
}

/* Where an inweb paragraph begins: */

p.inwebparagraph {
	width: 60em;
	line-height: 150%;
	padding-top: 15px;
	padding-bottom: 5px;
}

/* For the text of a footnote: */

p.inwebfootnote {
	line-height: 130%;
}

/* If a web macro definition begins in its own paragraph, this is it: */

p.macrodefinition {
	padding-top: 0px;
	padding-bottom: 0px;
	margin-left: 30px;
}

/* The endnotes at the foot of code: "The function foo_bar is used in ..." */

ul.endnotetexts li {
	font-size: 0.8em;
	padding-top: 0px;
	padding-bottom: 0px;
	margin-left: 30px;
	text-decoration:none;
	color: #000000;
}

/* The Purpose slug: */

p.purpose {
	width: 60em;
	line-height: 150%;
	font-size: 1em;
	font-style:italic;	
	margin-left: 15px;
}

/* Blocks of code appear in these */

pre {
	font-family: Monaco, monospace;
}

pre.display {
	padding: 3px;
	margin-top: 5px;
	margin-bottom: 5px;
	margin-left: 30px;
	margin-right: 10px;
	background: #f8f8f8;
	border-width: 1px;
	border-style: solid solid solid solid;
	border-color: #ccc;
	word-wrap: break-word;
	white-space: pre-wrap;
}

pre.displaydefn {
	padding: 3px;
	margin-top: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
	margin-right: 10px;
	background: #f8f8f8;
	border-width: 1px;
	border-style: solid solid solid solid;
	border-color: #ccc;
	word-wrap: break-word;
	white-space: pre-wrap;
}

pre.definitions {
	padding-top: 0px;
	margin-top: 0px;
	margin-left: 0px;
	margin-right: 10px;
	word-wrap: break-word;
	white-space: pre-wrap;
}

/* ul is used for many different purposes, but: */

ul, li {
	list-style-type:none;
	padding:0;
	margin:0;
}

/* This is for items in lists from inweb source: */

ul.items {
	margin-top: 3px;
	margin-bottom: 3px;
}

ul.items li {
	margin-top: 1px;
	margin-bottom: 1px;
	margin-left: 15px;
}

/* And this is for each section's table of contents: */

ul.toc {
	margin-top: 3px;
	margin-bottom: 3px;
}

ul.toc li {
	float:left;
	margin-left: 15px;
	color:#000;
}

ul.toc li a {
	display:block;
}

ul.toc li a:link, ul.toc li a:visited {
	text-decoration:none;
	color:#000;
}

ul.toc li a:hover, ul.toc li a:focus {
	color:#dd2c0d;
}

hr.tocbar {
	clear: both;
	margin-top:3px;
	margin-bottom:3px;
	color:#333;
	border:0
	background-color:#333;
}

/* This is for cross-reference links ("This code is used in ...") */

p.endnote:link, p.endnote:visited, p.endnote:hover, p.endnote:focus {
	text-decoration:none;
	color:#000;
}

p.endnote a:link, p.endnote a:visited {
	text-decoration:none;
	color:#000;
}

p.endnote a:hover, p.endnote a:focus {
	text-decoration:none;
	color:#dd2c0d;
}

/* Now for the index page */

p.heading {
	margin-top: 2px;
	margin-bottom: 2px;
	font-size: 20
}
p.chapter {
	font-size: 14
}
p.tight {
	font-size: 12
}
p.tightin {
	padding-left: 25px;
	font-size: 12
}
.chapterlist li {
	padding-top: 8px;
	padding-left: 16px;
}
.chaptertitle {
	font-weight: bold;
}
.chapterlist .sectionlist li {
	padding-left: 48px;
}
span.extract {
	font-size: 15px;
	border: 1px solid #e8e8e8;
	border-radius: 3px;
	background-color: #eef;
	width: 100%;
	padding: 3px;
}

nav[role="navigation"] {
    width: 180px;
    position: fixed;
    overflow: scroll;
    left: 0;
    top: 0;
    bottom: 0;
    background: #FAFAFA;
    border-right: 1px solid #e6e6e6;
    padding: 20px 30px
}

nav[role="navigation"] ul {
    border-top: 1px solid #e6e6e6;
    font-weight: 400;
    margin-bottom: 30px;
    list-style: none
}

nav[role="navigation"] ul ul {
    list-style: none
}

nav[role="navigation"] ul li {
    border-bottom: 1px solid #e6e6e6
}

nav[role="navigation"] ul li.active {
    border-bottom: 1px solid #333
}

nav[role="navigation"] ul li.active a {
    font-weight: 700
}

nav[role="navigation"] h1 a:link {
    color: #333;
    text-decoration: none;
    display: block;
}

nav[role="navigation"] h1 a:visited {
    color: #333
}

nav[role="navigation"] h1 a:active {
    font-weight: 700
}

nav[role="navigation"] h1 a:hover {
    color: #dd2c0d
}

nav[role="navigation"] ul li a:link {
    color: #333;
    text-decoration: none;
    text-transform: uppercase;
    letter-spacing: 1px;
    font-size: 12px;
    display: block;
    padding: 10px 10px 2px 2px
}

nav[role="navigation"] ul li span.selectedlink {
    color: #f25;
}

nav[role="navigation"] ul li span.unlink {
    color: #f25;
    text-decoration: none;
    text-transform: uppercase;
    letter-spacing: 1px;
    font-size: 12px;
    display: block;
    padding: 10px 10px 2px 2px
}

nav[role="navigation"] ul li a:visited {
    color: #333
}

nav[role="navigation"] ul li a:active {
    font-weight: 700
}

nav[role="navigation"] ul li a:hover {
    color: #dd2c0d
}

nav[role="navigation"] ul li ul {
    margin-bottom: 10px;
    border-top: none
}

nav[role="navigation"] ul li ul li {
    border-bottom: none;
    padding: 0.1em
}

nav[role="navigation"] ul li ul li.active {
    border-bottom: none
}

nav[role="navigation"] ul li ul li.active a {
    font-weight: 700
}

nav[role="navigation"] ul li ul a:link {
    color: #dd2c0d;
    text-decoration: none;
    text-transform: none;
    letter-spacing: 0;
    font-size: 12px;
    display: block;
    margin-left: 15px;
    padding: 0 0 3px;
    border-bottom: none;
    font-weight: 300
}

nav[role="navigation"] ul li ul a:hover {
    text-decoration: underline
}

nav[role="navigation"] h2 {
    font-size: 0.95em;
    text-transform: lowercase;
    font-variant: small-caps;
    color: #999;
    padding-bottom: 0.5em
}

nav[role="navigation"] h1 {
    margin-top: 0em
}

main {
    max-width: 1024px;
    min-width: 320px;
    margin-left: 250px;
    min-height: 100%;
    height: auto !important;
    height: 100%
}
/* 
#logo {
    text-indent: -9999px;
    height: 48px;
    width: 100%;
    margin-top: 20px;
    margin-bottom: 0.5em;
    padding-bottom: 10px
}

#logo a {
    display: block;
    width: 190px;
    height: 48px;
    background-image: url("/assets/images/swift.svg");
    background-repeat: no-repeat;
    background-size: 190px 48px;
    background-position-x: -8px
}

*/