1 files changed, 113 insertions, 0 deletions
diff --git a/src/seastar/doc/template.css b/src/seastar/doc/template.css
new file mode 100644
index 000000000..6451a3f54
--- /dev/null
+++ b/src/seastar/doc/template.css
@@ -0,0 +1,113 @@
+/* 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; }
+}