diff options
author | Iain McGinniss <iainmcgin@gmail.com> | 2012-10-17 22:18:13 +0100 |
---|---|---|
committer | Iain McGinniss <iainmcgin@gmail.com> | 2012-10-17 22:18:13 +0100 |
commit | 5e2a7881337e008a7de79914646ebe3b4fcd993e (patch) | |
tree | 711beb32aff6e24149cfe0da97f1c8cb9a2fd5fc /resources/scala-ref-template.html5 | |
download | scala-5e2a7881337e008a7de79914646ebe3b4fcd993e.tar.gz scala-5e2a7881337e008a7de79914646ebe3b4fcd993e.tar.bz2 scala-5e2a7881337e008a7de79914646ebe3b4fcd993e.zip |
preface and lexical syntax chapter converted, other chapters
split into their own files
Diffstat (limited to 'resources/scala-ref-template.html5')
-rw-r--r-- | resources/scala-ref-template.html5 | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/resources/scala-ref-template.html5 b/resources/scala-ref-template.html5 new file mode 100644 index 0000000000..33d6b26ef8 --- /dev/null +++ b/resources/scala-ref-template.html5 @@ -0,0 +1,69 @@ +<!DOCTYPE html> +<html$if(lang)$ lang="$lang$"$endif$> +<head> + <meta charset="utf-8"> + <meta name="generator" content="pandoc"> +$for(author-meta)$ + <meta name="author" content="$author-meta$"> +$endfor$ +$if(date-meta)$ + <meta name="dcterms.date" content="$date-meta$"> +$endif$ + <title>$if(title-prefix)$$title-prefix$ - $endif$$if(pagetitle)$$pagetitle$$endif$</title> + <!--[if lt IE 9]> + <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script> + <![endif]--> +$if(quotes)$ + <style type="text/css"> + q { quotes: "“" "”" "‘" "’"; } + </style> +$endif$ +$if(highlighting-css)$ + <style type="text/css"> +$highlighting-css$ + </style> +$endif$ +$for(css)$ + <link rel="stylesheet" href="$css$"> +$endfor$ +$if(math)$ + $math$ +$endif$ +$for(header-includes)$ + $header-includes$ +$endfor$ + + <link rel="stylesheet" href="resources/blueprint-screen.css" type="text/css" media="screen, projection"> + <link rel="stylesheet" href="resources/blueprint-print.css" type="text/css" media="print"> + <!--[if lt IE 8]> + <link rel="stylesheet" href="resources/blueprint-ie.css" type="text/css" media="screen, projection"> + <![endif]--> + <link rel="stylesheet" href="resources/style.css" type="text/css" media="screen, projection"/> + +</head> +<body> +<div class="container"> +$for(include-before)$ +$include-before$ +$endfor$ +$if(title)$ +<header> +<h1 class="title">$title$</h1> +$if(date)$ +<h3 class="date">$date$</h3> +$endif$ +</header> +<hr> +$endif$ +$if(toc)$ +<nav id="$idprefix$TOC"> +$toc$ +</nav> +$endif$ +$body$ +$for(include-after)$ +$include-after$ +$endfor$ +</div> +</body> +</html> |