-
Notifications
You must be signed in to change notification settings - Fork 8
/
default.html
137 lines (108 loc) · 5.8 KB
/
default.html
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
---
languages:
- code: en
- code: it
- code: es
---
<!DOCTYPE html>
<html>
<head>
<title>{{ page.title }}</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
{% if page.lang %}
<meta http-equiv="content-language" content="{{ page.lang }}">
{% endif %}
<link rel="stylesheet" type="text/css" href="/css/default.css" />
<link rel="stylesheet" type="text/css" href="/css/syntax.css" />
<link rel="icon" type="image/png" href="/favicon.gif" />
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-23501944-1']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>
</head>
<body>
{% unless page.unlocalized %}<div id="languages">
{% for language in page.languages %}
{% assign code = language.code %}
{% if language.name %}
{% assign name = language.name %}
{% else %}
{% assign name = code %}
{% endif %}
{% unless page.lang %}
{% capture page.lang %}en{% endcapture %}
{% endunless %}
{% capture old_prefix %}/{{ page.lang }}/{% endcapture %}
{% capture new_prefix %}/{{ code }}/{% endcapture %}
<span class="language">
<a href="{{ page.url | replace_first: old_prefix, new_prefix }}"
{% if page.lang == code %}
class="current"
{% endif %}
>{{ name }}</a>
</span>
{% endfor %}
</div>{% endunless %}
<div id="container">
<div id="header"><a href="/"><div style="text-align: center; margin: 0; padding: 0;">
<div style="height: 143px; font-size: 12px; min-width: 760px; max-width: 800px; margin: 0 auto; font-weight: bold;">
<div style="font-size: 123px; float: left;">Distr<img src="/images/logo_cropped_blur.png" style="height: 0.6em; position: relative; top: 5px;"></div>
<div style="position: relative; top: 65px; float: right;">
<span style="font-size: 18px; float: left; margin-top: 10px; margin-right: 10px;">The</span>
<ul style="font-style: italic; list-style: none; float:left; margin: 0; padding: 0; text-align: left; position: relative; top: -5px;">
<li style="font-size: 12px; margin-bottom: 3px;">kernel</li>
<li style="font-size: 12px; margin-bottom: 3px;">compiler</li>
<li style="font-size: 12px;">libc</li>
</ul>
<span style="font-size: 18px; float: left; margin-top: 10px; margin-left: 10px; font-style: italic;">Agnostic</span>
<span style="font-size: 18px; float: left; margin-top: 10px; margin-left: 10px;">Distribution</span>
</div>
</div>
</div></a></div>
<div style="clear: both;"></div>
<div id="menu">
{% include menu.html %}
</div>
<div id="content">
<div class="types">
{% if page.stub %}
{% include stub.html %}
{% endif %}
</div>
{{ content }}
</div>
{% if page.comments %}
<div id="disqus_thread">
<noscript>Please enable JavaScript to view the <a href="http://disqus.com/?ref_noscript">comments powered by Disqus.</a></noscript>
</div>
<script type="text/javascript">
var disqus_shortname = 'distro';
var disqus_url = "http://distro.github.com{{ page.url }}";
var disqus_identifier = "{{ page.url }}";
/* * * DON'T EDIT BELOW THIS LINE * * */
(function() {
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
dsq.src = 'http://' + disqus_shortname + '.disqus.com/embed.js';
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
})();
</script>
{% endif %}
{% if page.tweets %}
<script type="text/javascript" src="http://twitter.com/javascripts/blogger.js"></script>
<script type="text/javascript" src="http://twitter.com/statuses/user_timeline/DistroOS.json?callback=twitterCallback2&count={{ page.tweets }}"></script>
{% endif %}
</div>
{% if page.license %}<div id="license">
{% case page.license %}
{% when 'meh-cc' %}
This <span xmlns:dct="http://purl.org/dc/terms/" href="http://purl.org/dc/dcmitype/Text" rel="dct:type">work</span> by <a xmlns:cc="http://creativecommons.org/ns#" href="http://meh.paranoid.pk" property="cc:attributionName" rel="cc:attributionURL">meh.</a> is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-nc-sa/3.0/">Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License</a>.
{% endcase %}
{% endif %}
</body>
</html>