/* CSS style for Seastar's tutorial.
 * TODO: We also get some style for syntax highlighting inserted by our
 * use of "highlight-style tango" in configure.py. Perhaps we can insert
 * this style here too, for finer control.
 */

/* Some defaults */
body {
	color: #000000;
	background: #FFFFFF;
	font-size: 13pt;
	line-height: 1.10;
	font-family: arial, sans-serif; 
	margin-left: 15pt;
	margin-right: 15pt;
	text-align: justify;
}

/* In older versions, Pandoc puts the title, author and date, if any, in its
 * own div id="header". In recent versions, it uses a "header" tag instead.
*/
div#header, header {
	border-top: 1px solid #aaa;
	border-bottom: 1px solid #aaa;
	background: #F0F0C0;	
	margin: 10pt;
	margin-left: 10%;
	margin-right: 10%;
}

/* The title is in an h1.title, in the above div#header */
.title {
	color: #000000;
	margin: 5pt;
	text-align: center;
	font-family: serif;
	font-weight: bold;
	font-size: 32pt;
}
/* The author/date are h2.author and h3.date */
.author, .date {
	color: #000000;
	margin: 0pt;
	text-align: center;
	font-family: serif;
	font-weight: normal;
	font-size: 16pt;
}

/* table of contents is in div id="TOC" in older versions, or a nav id="TOC"
 * in newer versions */
div#TOC, nav#TOC {
	border-top: 1px solid #aaa;
	border-bottom: 1px solid #aaa;
	background: #F9F9F9;
	margin: 10pt;
	margin-left: 20%;
	margin-right: 20%;
}


h1, h2, h3, h4, h5, h6 {
	color: #EE3300;
}

a {
	text-decoration: none;
}
a:link, a:visited {
	color: #0000CC;	
}
a:hover {
	color: #CC0000;
	text-decoration: underline;
}


/* Multiline code snippets are wrapped in a "code" inside a "pre".
 * Inline code snippets are just in a "code".
 */
code {
	background-color: #FFFFFF;
    /* BEGIN word wrap */
    /* Need all the following to word wrap instead of scroll box */
    /* This will override the overflow:auto if present */
    white-space: pre-wrap; /* css-3 */
    white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
    white-space: -pre-wrap; /* Opera 4-6 */
    white-space: -o-pre-wrap; /* Opera 7 */
    word-wrap: break-word; /* Internet Explorer 5.5+ */
    /* END word wrap */
}
pre {
    padding: 0.5em;
    border: 1px dotted #777;
    margin-left:  15pt;
    margin-right: 15pt;
}
pre, pre > code {
    background-color: #f8f8f8;
}

/* Fix stuff for printing, in case somebody tries to print the HTML instead
 * of getting a PDF and printing that. For example, too big fonts and big
 * margins may be a waste of paper.
 * buttondown.css has a nice trick for replacing links with the actual text
 * of the URL - might be nice to copy it one day.
 */
@media print {
	body { font-size: 11pt; }
	a  { color: black; background: transparent; }
    	pre { border: 1px solid #aaa; }
}