summaryrefslogtreecommitdiff
path: root/resources/scala-ref-template.html5
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scala-ref-template.html5')
-rw-r--r--resources/scala-ref-template.html581
1 files changed, 0 insertions, 81 deletions
diff --git a/resources/scala-ref-template.html5 b/resources/scala-ref-template.html5
deleted file mode 100644
index 2ff8991df1..0000000000
--- a/resources/scala-ref-template.html5
+++ /dev/null
@@ -1,81 +0,0 @@
-<!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$
- <script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.8.2/jquery.min.js"></script>
- <script type="text/javascript" src="resources/ScalaReference.js"></script>
- <script type="text/x-mathjax-config">
- MathJax.Hub.Config({
- tex2jax: {
- skipTags: ["script", "noscript", "style", "textarea"],
- inlineMath: [ ["$$", "$$"], ["\\(", "\\)"] ],
- processEscapes: true
- }
- });
- </script>
-$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"/>
- <link rel="stylesheet" href="resources/fonts.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>