blob: dfd92eb1147166cff391b7c111b6f5d07d1b29f3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
<!DOCTYPE html>
<html>
<head>
<meta http-equiv='Content-Type' content='text/html; charset=utf-8' />
<link rel="icon" type="image/png" href="public/favicon.ico">
<link rel="shortcut icon" type="image/png" href="public/favicon.ico">
<script src="//code.jquery.com/jquery-2.1.3.min.js"></script>
<title>{{ page.title }}</title>
<link rel="stylesheet" type="text/css" href="public/stylesheets/screen.css">
<link rel="stylesheet" type="text/css" href="public/stylesheets/screen-toc.css">
<link rel="stylesheet" type="text/css" href="public/stylesheets/fonts.css">
</head>
<body>
<header>
<div id="header-main">
<img id="scala-logo" src="public/images/scala-spiral-white.png" />
<span id="title">Scala Language Specification</span>
<a id="github" href="https://github.com/scala/scala/tree/2.12.x/spec"><img src="public/images/github-logo@2x.png" alt="Edit at GitHub"></a>
</div>
<div id="header-sub">Version 2.12</div>
</header>
<main>
{{ content }}
</main>
</body>
</html>
|
