diff options
Diffstat (limited to 'resources/scala-ref-template.html5')
-rw-r--r-- | resources/scala-ref-template.html5 | 81 |
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> |