Merge branch 'master' of github.com:wenkokke/sf
I don't know why this merge is necessary.
This commit is contained in:
commit
9f58620f8d
8 changed files with 220 additions and 194 deletions
8
Gemfile
8
Gemfile
|
@ -1,10 +1,4 @@
|
||||||
source "https://rubygems.org"
|
source "https://rubygems.org"
|
||||||
|
|
||||||
gem "minima", "~> 2.0"
|
gem "minima", "~> 2.4.0"
|
||||||
gem "github-pages", group: :jekyll_plugins
|
gem "github-pages", group: :jekyll_plugins
|
||||||
|
|
||||||
group :jekyll_plugins do
|
|
||||||
gem "jekyll-feed", "~> 0.6"
|
|
||||||
end
|
|
||||||
|
|
||||||
gem 'tzinfo-data', platforms: [:mingw, :mswin, :x64_mingw, :jruby]
|
|
||||||
|
|
115
Gemfile.lock
115
Gemfile.lock
|
@ -13,7 +13,7 @@ GEM
|
||||||
execjs
|
execjs
|
||||||
coffee-script-source (1.11.1)
|
coffee-script-source (1.11.1)
|
||||||
colorator (1.1.0)
|
colorator (1.1.0)
|
||||||
commonmarker (0.17.7.1)
|
commonmarker (0.17.9)
|
||||||
ruby-enum (~> 0.5)
|
ruby-enum (~> 0.5)
|
||||||
concurrent-ruby (1.0.5)
|
concurrent-ruby (1.0.5)
|
||||||
ethon (0.11.0)
|
ethon (0.11.0)
|
||||||
|
@ -21,30 +21,30 @@ GEM
|
||||||
execjs (2.7.0)
|
execjs (2.7.0)
|
||||||
faraday (0.14.0)
|
faraday (0.14.0)
|
||||||
multipart-post (>= 1.2, < 3)
|
multipart-post (>= 1.2, < 3)
|
||||||
ffi (1.9.18)
|
ffi (1.9.23)
|
||||||
forwardable-extended (2.6.0)
|
forwardable-extended (2.6.0)
|
||||||
gemoji (3.0.0)
|
gemoji (3.0.0)
|
||||||
github-pages (175)
|
github-pages (179)
|
||||||
activesupport (= 4.2.9)
|
activesupport (= 4.2.9)
|
||||||
github-pages-health-check (= 1.3.5)
|
github-pages-health-check (= 1.4.0)
|
||||||
jekyll (= 3.6.2)
|
jekyll (= 3.6.2)
|
||||||
jekyll-avatar (= 0.5.0)
|
jekyll-avatar (= 0.5.0)
|
||||||
jekyll-coffeescript (= 1.0.2)
|
jekyll-coffeescript (= 1.1.1)
|
||||||
jekyll-commonmark-ghpages (= 0.1.3)
|
jekyll-commonmark-ghpages (= 0.1.5)
|
||||||
jekyll-default-layout (= 0.1.4)
|
jekyll-default-layout (= 0.1.4)
|
||||||
jekyll-feed (= 0.9.2)
|
jekyll-feed (= 0.9.3)
|
||||||
jekyll-gist (= 1.4.1)
|
jekyll-gist (= 1.5.0)
|
||||||
jekyll-github-metadata (= 2.9.3)
|
jekyll-github-metadata (= 2.9.4)
|
||||||
jekyll-mentions (= 1.2.0)
|
jekyll-mentions (= 1.3.0)
|
||||||
jekyll-optional-front-matter (= 0.3.0)
|
jekyll-optional-front-matter (= 0.3.0)
|
||||||
jekyll-paginate (= 1.1.0)
|
jekyll-paginate (= 1.1.0)
|
||||||
jekyll-readme-index (= 0.2.0)
|
jekyll-readme-index (= 0.2.0)
|
||||||
jekyll-redirect-from (= 0.12.1)
|
jekyll-redirect-from (= 0.13.0)
|
||||||
jekyll-relative-links (= 0.5.2)
|
jekyll-relative-links (= 0.5.3)
|
||||||
jekyll-remote-theme (= 0.2.3)
|
jekyll-remote-theme (= 0.2.3)
|
||||||
jekyll-sass-converter (= 1.5.0)
|
jekyll-sass-converter (= 1.5.2)
|
||||||
jekyll-seo-tag (= 2.3.0)
|
jekyll-seo-tag (= 2.4.0)
|
||||||
jekyll-sitemap (= 1.1.1)
|
jekyll-sitemap (= 1.2.0)
|
||||||
jekyll-swiss (= 0.4.0)
|
jekyll-swiss (= 0.4.0)
|
||||||
jekyll-theme-architect (= 0.1.0)
|
jekyll-theme-architect (= 0.1.0)
|
||||||
jekyll-theme-cayman (= 0.1.0)
|
jekyll-theme-cayman (= 0.1.0)
|
||||||
|
@ -59,25 +59,26 @@ GEM
|
||||||
jekyll-theme-slate (= 0.1.0)
|
jekyll-theme-slate (= 0.1.0)
|
||||||
jekyll-theme-tactile (= 0.1.0)
|
jekyll-theme-tactile (= 0.1.0)
|
||||||
jekyll-theme-time-machine (= 0.1.0)
|
jekyll-theme-time-machine (= 0.1.0)
|
||||||
jekyll-titles-from-headings (= 0.5.0)
|
jekyll-titles-from-headings (= 0.5.1)
|
||||||
jemoji (= 0.8.1)
|
jemoji (= 0.9.0)
|
||||||
kramdown (= 1.16.2)
|
kramdown (= 1.16.2)
|
||||||
liquid (= 4.0.0)
|
liquid (= 4.0.0)
|
||||||
listen (= 3.0.6)
|
listen (= 3.1.5)
|
||||||
mercenary (~> 0.3)
|
mercenary (~> 0.3)
|
||||||
minima (= 2.1.1)
|
minima (= 2.4.0)
|
||||||
|
nokogiri (>= 1.8.1, < 2.0)
|
||||||
rouge (= 2.2.1)
|
rouge (= 2.2.1)
|
||||||
terminal-table (~> 1.4)
|
terminal-table (~> 1.4)
|
||||||
github-pages-health-check (1.3.5)
|
github-pages-health-check (1.4.0)
|
||||||
addressable (~> 2.3)
|
addressable (~> 2.3)
|
||||||
net-dns (~> 0.8)
|
net-dns (~> 0.8)
|
||||||
octokit (~> 4.0)
|
octokit (~> 4.0)
|
||||||
public_suffix (~> 2.0)
|
public_suffix (~> 2.0)
|
||||||
typhoeus (~> 0.7)
|
typhoeus (~> 1.3)
|
||||||
html-pipeline (2.7.1)
|
html-pipeline (2.7.1)
|
||||||
activesupport (>= 2)
|
activesupport (>= 2)
|
||||||
nokogiri (>= 1.4)
|
nokogiri (>= 1.4)
|
||||||
i18n (0.9.3)
|
i18n (0.9.5)
|
||||||
concurrent-ruby (~> 1.0)
|
concurrent-ruby (~> 1.0)
|
||||||
jekyll (3.6.2)
|
jekyll (3.6.2)
|
||||||
addressable (~> 2.4)
|
addressable (~> 2.4)
|
||||||
|
@ -92,26 +93,26 @@ GEM
|
||||||
safe_yaml (~> 1.0)
|
safe_yaml (~> 1.0)
|
||||||
jekyll-avatar (0.5.0)
|
jekyll-avatar (0.5.0)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
jekyll-coffeescript (1.0.2)
|
jekyll-coffeescript (1.1.1)
|
||||||
coffee-script (~> 2.2)
|
coffee-script (~> 2.2)
|
||||||
coffee-script-source (~> 1.11.1)
|
coffee-script-source (~> 1.11.1)
|
||||||
jekyll-commonmark (1.1.0)
|
jekyll-commonmark (1.1.0)
|
||||||
commonmarker (~> 0.14)
|
commonmarker (~> 0.14)
|
||||||
jekyll (>= 3.0, < 4.0)
|
jekyll (>= 3.0, < 4.0)
|
||||||
jekyll-commonmark-ghpages (0.1.3)
|
jekyll-commonmark-ghpages (0.1.5)
|
||||||
commonmarker (~> 0.17.6)
|
commonmarker (~> 0.17.6)
|
||||||
jekyll-commonmark (~> 1)
|
jekyll-commonmark (~> 1)
|
||||||
rouge (~> 2)
|
rouge (~> 2)
|
||||||
jekyll-default-layout (0.1.4)
|
jekyll-default-layout (0.1.4)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
jekyll-feed (0.9.2)
|
jekyll-feed (0.9.3)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-gist (1.4.1)
|
jekyll-gist (1.5.0)
|
||||||
octokit (~> 4.2)
|
octokit (~> 4.2)
|
||||||
jekyll-github-metadata (2.9.3)
|
jekyll-github-metadata (2.9.4)
|
||||||
jekyll (~> 3.1)
|
jekyll (~> 3.1)
|
||||||
octokit (~> 4.0, != 4.4.0)
|
octokit (~> 4.0, != 4.4.0)
|
||||||
jekyll-mentions (1.2.0)
|
jekyll-mentions (1.3.0)
|
||||||
activesupport (~> 4.0)
|
activesupport (~> 4.0)
|
||||||
html-pipeline (~> 2.3)
|
html-pipeline (~> 2.3)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
|
@ -120,19 +121,19 @@ GEM
|
||||||
jekyll-paginate (1.1.0)
|
jekyll-paginate (1.1.0)
|
||||||
jekyll-readme-index (0.2.0)
|
jekyll-readme-index (0.2.0)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
jekyll-redirect-from (0.12.1)
|
jekyll-redirect-from (0.13.0)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-relative-links (0.5.2)
|
jekyll-relative-links (0.5.3)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-remote-theme (0.2.3)
|
jekyll-remote-theme (0.2.3)
|
||||||
jekyll (~> 3.5)
|
jekyll (~> 3.5)
|
||||||
rubyzip (>= 1.2.1, < 3.0)
|
rubyzip (>= 1.2.1, < 3.0)
|
||||||
typhoeus (>= 0.7, < 2.0)
|
typhoeus (>= 0.7, < 2.0)
|
||||||
jekyll-sass-converter (1.5.0)
|
jekyll-sass-converter (1.5.2)
|
||||||
sass (~> 3.4)
|
sass (~> 3.4)
|
||||||
jekyll-seo-tag (2.3.0)
|
jekyll-seo-tag (2.4.0)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-sitemap (1.1.1)
|
jekyll-sitemap (1.2.0)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-swiss (0.4.0)
|
jekyll-swiss (0.4.0)
|
||||||
jekyll-theme-architect (0.1.0)
|
jekyll-theme-architect (0.1.0)
|
||||||
|
@ -175,56 +176,60 @@ GEM
|
||||||
jekyll-theme-time-machine (0.1.0)
|
jekyll-theme-time-machine (0.1.0)
|
||||||
jekyll (~> 3.5)
|
jekyll (~> 3.5)
|
||||||
jekyll-seo-tag (~> 2.0)
|
jekyll-seo-tag (~> 2.0)
|
||||||
jekyll-titles-from-headings (0.5.0)
|
jekyll-titles-from-headings (0.5.1)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-watch (1.5.1)
|
jekyll-watch (1.5.1)
|
||||||
listen (~> 3.0)
|
listen (~> 3.0)
|
||||||
jemoji (0.8.1)
|
jemoji (0.9.0)
|
||||||
activesupport (~> 4.0, >= 4.2.9)
|
activesupport (~> 4.0, >= 4.2.9)
|
||||||
gemoji (~> 3.0)
|
gemoji (~> 3.0)
|
||||||
html-pipeline (~> 2.2)
|
html-pipeline (~> 2.2)
|
||||||
jekyll (>= 3.0)
|
jekyll (~> 3.0)
|
||||||
kramdown (1.16.2)
|
kramdown (1.16.2)
|
||||||
liquid (4.0.0)
|
liquid (4.0.0)
|
||||||
listen (3.0.6)
|
listen (3.1.5)
|
||||||
rb-fsevent (>= 0.9.3)
|
rb-fsevent (~> 0.9, >= 0.9.4)
|
||||||
rb-inotify (>= 0.9.7)
|
rb-inotify (~> 0.9, >= 0.9.7)
|
||||||
|
ruby_dep (~> 1.2)
|
||||||
mercenary (0.3.6)
|
mercenary (0.3.6)
|
||||||
mini_portile2 (2.3.0)
|
mini_portile2 (2.3.0)
|
||||||
minima (2.1.1)
|
minima (2.4.0)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.5)
|
||||||
minitest (5.11.2)
|
jekyll-feed (~> 0.9)
|
||||||
|
jekyll-seo-tag (~> 2.1)
|
||||||
|
minitest (5.11.3)
|
||||||
multipart-post (2.0.0)
|
multipart-post (2.0.0)
|
||||||
net-dns (0.8.0)
|
net-dns (0.8.0)
|
||||||
nokogiri (1.8.1)
|
nokogiri (1.8.2)
|
||||||
mini_portile2 (~> 2.3.0)
|
mini_portile2 (~> 2.3.0)
|
||||||
octokit (4.8.0)
|
octokit (4.8.0)
|
||||||
sawyer (~> 0.8.0, >= 0.5.3)
|
sawyer (~> 0.8.0, >= 0.5.3)
|
||||||
pathutil (0.16.1)
|
pathutil (0.16.1)
|
||||||
forwardable-extended (~> 2.6)
|
forwardable-extended (~> 2.6)
|
||||||
public_suffix (2.0.5)
|
public_suffix (2.0.5)
|
||||||
rb-fsevent (0.10.2)
|
rb-fsevent (0.10.3)
|
||||||
rb-inotify (0.9.10)
|
rb-inotify (0.9.10)
|
||||||
ffi (>= 0.5.0, < 2)
|
ffi (>= 0.5.0, < 2)
|
||||||
rouge (2.2.1)
|
rouge (2.2.1)
|
||||||
ruby-enum (0.7.1)
|
ruby-enum (0.7.2)
|
||||||
i18n
|
i18n
|
||||||
|
ruby_dep (1.5.0)
|
||||||
rubyzip (1.2.1)
|
rubyzip (1.2.1)
|
||||||
safe_yaml (1.0.4)
|
safe_yaml (1.0.4)
|
||||||
sass (3.5.0)
|
sass (3.5.5)
|
||||||
sass-listen (~> 3.0.7)
|
sass-listen (~> 4.0.0)
|
||||||
sass-listen (3.0.7)
|
sass-listen (4.0.0)
|
||||||
rb-fsevent (>= 0.9.3)
|
rb-fsevent (~> 0.9, >= 0.9.4)
|
||||||
rb-inotify (>= 0.9.7)
|
rb-inotify (~> 0.9, >= 0.9.7)
|
||||||
sawyer (0.8.1)
|
sawyer (0.8.1)
|
||||||
addressable (>= 2.3.5, < 2.6)
|
addressable (>= 2.3.5, < 2.6)
|
||||||
faraday (~> 0.8, < 1.0)
|
faraday (~> 0.8, < 1.0)
|
||||||
terminal-table (1.8.0)
|
terminal-table (1.8.0)
|
||||||
unicode-display_width (~> 1.1, >= 1.1.1)
|
unicode-display_width (~> 1.1, >= 1.1.1)
|
||||||
thread_safe (0.3.6)
|
thread_safe (0.3.6)
|
||||||
typhoeus (0.8.0)
|
typhoeus (1.3.0)
|
||||||
ethon (>= 0.8.0)
|
ethon (>= 0.9.0)
|
||||||
tzinfo (1.2.4)
|
tzinfo (1.2.5)
|
||||||
thread_safe (~> 0.1)
|
thread_safe (~> 0.1)
|
||||||
unicode-display_width (1.3.0)
|
unicode-display_width (1.3.0)
|
||||||
|
|
||||||
|
@ -233,9 +238,7 @@ PLATFORMS
|
||||||
|
|
||||||
DEPENDENCIES
|
DEPENDENCIES
|
||||||
github-pages
|
github-pages
|
||||||
jekyll-feed (~> 0.6)
|
minima (~> 2.4.0)
|
||||||
minima (~> 2.0)
|
|
||||||
tzinfo-data
|
|
||||||
|
|
||||||
BUNDLED WITH
|
BUNDLED WITH
|
||||||
1.16.1
|
1.16.1
|
||||||
|
|
|
@ -8,9 +8,11 @@ author: Wen Kokke
|
||||||
contributors:
|
contributors:
|
||||||
- name: Wen Kokke
|
- name: Wen Kokke
|
||||||
email: wen.kokke@ed.ac.uk
|
email: wen.kokke@ed.ac.uk
|
||||||
|
github_username: wenkokke
|
||||||
twitter_username: wenkokke
|
twitter_username: wenkokke
|
||||||
- name: Philip Wadler
|
- name: Philip Wadler
|
||||||
email: wadler@inf.ed.ac.uk
|
email: wadler@inf.ed.ac.uk
|
||||||
|
github_username: wadler
|
||||||
twitter_username: philipwadler
|
twitter_username: philipwadler
|
||||||
|
|
||||||
description: >
|
description: >
|
||||||
|
@ -25,8 +27,6 @@ baseurl: "/sf"
|
||||||
url: "https://wenkokke.github.io/sf"
|
url: "https://wenkokke.github.io/sf"
|
||||||
markdown: kramdown
|
markdown: kramdown
|
||||||
theme: minima
|
theme: minima
|
||||||
plugins:
|
|
||||||
- jekyll-feed
|
|
||||||
exclude:
|
exclude:
|
||||||
- src/
|
- src/
|
||||||
- Gemfile
|
- Gemfile
|
||||||
|
|
|
@ -1,121 +1,61 @@
|
||||||
<footer class="site-footer">
|
<footer class="site-footer h-card">
|
||||||
|
<data class="u-url" href="{{ "/" | relative_url }}"></data>
|
||||||
|
|
||||||
<div class="wrapper">
|
<div class="wrapper">
|
||||||
|
|
||||||
<h2 class="footer-heading">{{ site.title | escape }}</h2>
|
<h2 class="footer-heading">{{ site.title | escape }}</h2>
|
||||||
|
|
||||||
<div class="footer-col-wrapper">
|
{%- if site.contributors -%}
|
||||||
<div class="footer-col footer-col-1">
|
{%- for contributor in site.contributors -%}
|
||||||
<ul class="contact-list">
|
<div class="footer-col-wrapper">
|
||||||
{% if site.contributors %}
|
<div class="footer-col footer-col-1">
|
||||||
{% for contributor in site.contributors %}
|
<ul class="contact-list">
|
||||||
<li>
|
<li class="p-name">{{ contributor.name | escape }}</li>
|
||||||
{% if contributor.email %}
|
{%- if contributor.email -%}
|
||||||
<a href="mailto:{{ contributor.email }}">
|
<li><a class="u-email" href="mailto:{{ contributor.email }}">{{ contributor.email }}</a></li>
|
||||||
{% endif %}
|
{%- endif -%}
|
||||||
{{ contributor.name | escape }}
|
</ul>
|
||||||
{% if contributor.email %}
|
</div>
|
||||||
</a>
|
|
||||||
{% endif %}
|
|
||||||
</li>
|
|
||||||
{% endfor %}
|
|
||||||
{% endif %}
|
|
||||||
</ul>
|
|
||||||
</div>
|
|
||||||
|
|
||||||
<div class="footer-col footer-col-2">
|
<div class="footer-col footer-col-2">
|
||||||
<ul class="social-media-list">
|
{%- include social.html -%}
|
||||||
{% if site.contributors %}
|
</div>
|
||||||
{% for contributor in site.contributors %}
|
|
||||||
<li>
|
|
||||||
{% if contributor.github_username %}
|
|
||||||
<li>{% include icon-github.html username=contributor.github_username %}</li>
|
|
||||||
{% endif %}
|
|
||||||
{% if contributor.twitter_username %}
|
|
||||||
<li>{% include icon-twitter.html username=contributor.twitter_username %}</li>
|
|
||||||
{% endif %}
|
|
||||||
</li>
|
|
||||||
{% endfor %}
|
|
||||||
{% endif %}
|
|
||||||
</ul>
|
|
||||||
</div>
|
|
||||||
|
|
||||||
<div class="footer-col footer-col-3">
|
|
||||||
<p>{{ site.description | escape }}</p>
|
|
||||||
</div>
|
|
||||||
</div>
|
|
||||||
|
|
||||||
|
<div class="footer-col footer-col-3">
|
||||||
|
{%- if contributor.blurb -%}
|
||||||
|
<p>{{- contributor.blurb | escape -}}</p>
|
||||||
|
{%- endif -%}
|
||||||
|
</div>
|
||||||
</div>
|
</div>
|
||||||
|
{%- endfor -%}
|
||||||
|
{%- else -%}
|
||||||
|
<div class="footer-col-wrapper">
|
||||||
|
<div class="footer-col footer-col-1">
|
||||||
|
<ul class="contact-list">
|
||||||
|
<li class="p-name">
|
||||||
|
{%- if site.author -%}
|
||||||
|
{{ site.author | escape }}
|
||||||
|
{%- else -%}
|
||||||
|
{{ site.title | escape }}
|
||||||
|
{%- endif -%}
|
||||||
|
</li>
|
||||||
|
{%- if site.email -%}
|
||||||
|
<li><a class="u-email" href="mailto:{{ site.email }}">{{ site.email }}</a></li>
|
||||||
|
{%- endif -%}
|
||||||
|
</ul>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div class="footer-col footer-col-2">
|
||||||
|
{%- assign contributor = site -%}
|
||||||
|
{%- include social.html -%}
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div class="footer-col footer-col-3">
|
||||||
|
<p>{{- site.description | escape -}}</p>
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
{%- endif -%}
|
||||||
|
|
||||||
|
</div>
|
||||||
|
|
||||||
</footer>
|
</footer>
|
||||||
|
|
||||||
<!-- Import jQuery -->
|
|
||||||
<script type="text/javascript" src="{{ "/assets/jquery.js" | prepend: site.baseurl }}"></script>
|
|
||||||
|
|
||||||
<!-- Script which allows for foldable code blocks -->
|
|
||||||
<script type="text/javascript">
|
|
||||||
$('div.foldable pre').each(function(){
|
|
||||||
var autoHeight = $(this).height();
|
|
||||||
var lineHeight = parseFloat($(this).css('line-height'));
|
|
||||||
|
|
||||||
var plus = $("<div></div>");
|
|
||||||
var horLine = $("<div></div>");
|
|
||||||
var verLine = $("<div></div>");
|
|
||||||
$(this).prepend(plus);
|
|
||||||
plus.css({
|
|
||||||
'position' : 'relative',
|
|
||||||
'float' : 'right',
|
|
||||||
'right' : '-' + (0.5 * lineHeight - 1.5) + 'px',
|
|
||||||
'width' : lineHeight,
|
|
||||||
'height' : lineHeight});
|
|
||||||
verLine.css({
|
|
||||||
'position' : 'relative',
|
|
||||||
'height' : lineHeight,
|
|
||||||
'width' : '3px',
|
|
||||||
'background-color' : '#C1E0FF'});
|
|
||||||
horLine.css({
|
|
||||||
'position' : 'relative',
|
|
||||||
'top' : '-' + (0.5 * lineHeight + 1.5) + 'px',
|
|
||||||
'left' : '-' + (0.5 * lineHeight - 1.5) + 'px',
|
|
||||||
'height' : '3px',
|
|
||||||
'width' : lineHeight,
|
|
||||||
'background-color' : '#C1E0FF'});
|
|
||||||
plus.append(verLine);
|
|
||||||
plus.append(horLine);
|
|
||||||
|
|
||||||
$(this).height(2.0 * lineHeight);
|
|
||||||
$(this).css('overflow','hidden');
|
|
||||||
|
|
||||||
$(this).click(function(){
|
|
||||||
if ($(this).height() == autoHeight) {
|
|
||||||
$(this).height(2.0 * lineHeight);
|
|
||||||
plus.show();
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
$(this).height('auto');
|
|
||||||
plus.hide();
|
|
||||||
}
|
|
||||||
});
|
|
||||||
});
|
|
||||||
</script>
|
|
||||||
|
|
||||||
<!-- Import KaTeX -->
|
|
||||||
<script type="text/javascript" src="{{ "/assets/katex.js" | prepend: site.baseurl }}"></script>
|
|
||||||
|
|
||||||
<!-- Script which renders TeX using KaTeX -->
|
|
||||||
<script type="text/javascript">
|
|
||||||
$("script[type='math/tex']").replaceWith(
|
|
||||||
function(){
|
|
||||||
var tex = $(this).text();
|
|
||||||
return "<span class=\"inline-equation\">" +
|
|
||||||
katex.renderToString(tex) +
|
|
||||||
"</span>";
|
|
||||||
});
|
|
||||||
$("script[type='math/tex; mode=display']").replaceWith(
|
|
||||||
function(){
|
|
||||||
var tex = $(this).text().replace(/%.*?(\n|$)/g,"");
|
|
||||||
return "<div class=\"equation\">" +
|
|
||||||
katex.renderToString("\\displaystyle "+tex) +
|
|
||||||
"</div>";
|
|
||||||
});
|
|
||||||
</script>
|
|
||||||
|
|
|
@ -1,16 +0,0 @@
|
||||||
<head>
|
|
||||||
<meta charset="utf-8">
|
|
||||||
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
|
||||||
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
||||||
|
|
||||||
<title>{% if page.title %}{{ page.title | escape }}{% else %}{{ site.title | escape }}{% endif %}</title>
|
|
||||||
<meta name="description" content="{{ page.excerpt | default: site.description | strip_html | normalize_whitespace | truncate: 160 | escape }}">
|
|
||||||
|
|
||||||
<link rel="stylesheet" href="{{ "/assets/main.css" | relative_url }}">
|
|
||||||
<link rel="canonical" href="{{ page.url | replace:'index.html','' | absolute_url }}">
|
|
||||||
<link rel="alternate" type="application/rss+xml" title="{{ site.title | escape }}" href="{{ "/feed.xml" | relative_url }}">
|
|
||||||
|
|
||||||
{% if jekyll.environment == 'production' and site.google_analytics %}
|
|
||||||
{% include google-analytics.html %}
|
|
||||||
{% endif %}
|
|
||||||
</head>
|
|
70
_includes/script.html
Normal file
70
_includes/script.html
Normal file
|
@ -0,0 +1,70 @@
|
||||||
|
<!-- Import jQuery -->
|
||||||
|
<script type="text/javascript" src="{{ "/assets/jquery.js" | prepend: site.baseurl }}"></script>
|
||||||
|
|
||||||
|
<!-- Script which allows for foldable code blocks -->
|
||||||
|
<script type="text/javascript">
|
||||||
|
$('div.foldable pre').each(function(){
|
||||||
|
var autoHeight = $(this).height();
|
||||||
|
var lineHeight = parseFloat($(this).css('line-height'));
|
||||||
|
|
||||||
|
var plus = $("<div></div>");
|
||||||
|
var horLine = $("<div></div>");
|
||||||
|
var verLine = $("<div></div>");
|
||||||
|
$(this).prepend(plus);
|
||||||
|
plus.css({
|
||||||
|
'position' : 'relative',
|
||||||
|
'float' : 'right',
|
||||||
|
'right' : '-' + (0.5 * lineHeight - 1.5) + 'px',
|
||||||
|
'width' : lineHeight,
|
||||||
|
'height' : lineHeight});
|
||||||
|
verLine.css({
|
||||||
|
'position' : 'relative',
|
||||||
|
'height' : lineHeight,
|
||||||
|
'width' : '3px',
|
||||||
|
'background-color' : '#C1E0FF'});
|
||||||
|
horLine.css({
|
||||||
|
'position' : 'relative',
|
||||||
|
'top' : '-' + (0.5 * lineHeight + 1.5) + 'px',
|
||||||
|
'left' : '-' + (0.5 * lineHeight - 1.5) + 'px',
|
||||||
|
'height' : '3px',
|
||||||
|
'width' : lineHeight,
|
||||||
|
'background-color' : '#C1E0FF'});
|
||||||
|
plus.append(verLine);
|
||||||
|
plus.append(horLine);
|
||||||
|
|
||||||
|
$(this).height(2.0 * lineHeight);
|
||||||
|
$(this).css('overflow','hidden');
|
||||||
|
|
||||||
|
$(this).click(function(){
|
||||||
|
if ($(this).height() == autoHeight) {
|
||||||
|
$(this).height(2.0 * lineHeight);
|
||||||
|
plus.show();
|
||||||
|
}
|
||||||
|
else {
|
||||||
|
$(this).height('auto');
|
||||||
|
plus.hide();
|
||||||
|
}
|
||||||
|
});
|
||||||
|
});
|
||||||
|
</script>
|
||||||
|
|
||||||
|
<!-- Import KaTeX -->
|
||||||
|
<script type="text/javascript" src="{{ "/assets/katex.js" | prepend: site.baseurl }}"></script>
|
||||||
|
|
||||||
|
<!-- Script which renders TeX using KaTeX -->
|
||||||
|
<script type="text/javascript">
|
||||||
|
$("script[type='math/tex']").replaceWith(
|
||||||
|
function(){
|
||||||
|
var tex = $(this).text();
|
||||||
|
return "<span class=\"inline-equation\">" +
|
||||||
|
katex.renderToString(tex) +
|
||||||
|
"</span>";
|
||||||
|
});
|
||||||
|
$("script[type='math/tex; mode=display']").replaceWith(
|
||||||
|
function(){
|
||||||
|
var tex = $(this).text().replace(/%.*?(\n|$)/g,"");
|
||||||
|
return "<div class=\"equation\">" +
|
||||||
|
katex.renderToString("\\displaystyle "+tex) +
|
||||||
|
"</div>";
|
||||||
|
});
|
||||||
|
</script>
|
13
_includes/social.html
Normal file
13
_includes/social.html
Normal file
|
@ -0,0 +1,13 @@
|
||||||
|
<ul class="social-media-list">
|
||||||
|
{%- if contributor.dribbble_username -%}<li><a href="https://dribbble.com/{{ contributor.dribbble_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#dribbble' | relative_url }}"></use></svg> <span class="username">{{ contributor.dribbble_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- if contributor.facebook_username -%}<li><a href="https://www.facebook.com/{{ contributor.facebook_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#facebook' | relative_url }}"></use></svg> <span class="username">{{ contributor.facebook_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- if contributor.flickr_username -%}<li><a href="https://www.flickr.com/photos/{{ contributor.flickr_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#flickr' | relative_url }}"></use></svg> <span class="username">{{ contributor.flickr_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- if contributor.github_username -%}<li><a href="https://github.com/{{ contributor.github_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#github' | relative_url }}"></use></svg> <span class="username">{{ contributor.github_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- if contributor.instagram_username -%}<li><a href="https://instagram.com/{{ contributor.instagram_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#instagram' | relative_url }}"></use></svg> <span class="username">{{ contributor.instagram_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- if contributor.linkedin_username -%}<li><a href="https://www.linkedin.com/in/{{ contributor.linkedin_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#linkedin' | relative_url }}"></use></svg> <span class="username">{{ contributor.linkedin_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- if contributor.pinterest_username -%}<li><a href="https://www.pinterest.com/{{ contributor.pinterest_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#pinterest' | relative_url }}"></use></svg> <span class="username">{{ contributor.pinterest_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- for mst in contributor.mastodon -%}{%- if mst.username and mst.instance -%}<li><a href="https://{{ mst.instance| cgi_escape | escape}}/@{{mst.username}}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#mastodon' | relative_url }}"></use></svg> <span class="username">{{ mst.username|escape }}</span></a></li>{%- endif -%}{%- endfor -%}
|
||||||
|
{%- if contributor.twitter_username -%}<li><a href="https://www.twitter.com/{{ contributor.twitter_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#twitter' | relative_url }}"></use></svg> <span class="username">{{ contributor.twitter_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- if contributor.youtube_username -%}<li><a href="https://youtube.com/{{ contributor.youtube_username| cgi_escape | escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#youtube' | relative_url }}"></use></svg> <span class="username">{{ contributor.youtube_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
{%- if contributor.googleplus_username -%}<li><a href="https://plus.google.com/{{ contributor.googleplus_username| escape }}"><svg class="svg-icon"><use xlink:href="{{ '/assets/minima-social-icons.svg#googleplus' | relative_url }}"></use></svg> <span class="username">{{ contributor.googleplus_username| escape }}</span></a></li>{%- endif -%}
|
||||||
|
</ul>
|
22
_layouts/default.html
Normal file
22
_layouts/default.html
Normal file
|
@ -0,0 +1,22 @@
|
||||||
|
<!DOCTYPE html>
|
||||||
|
<html lang="{{ page.lang | default: site.lang | default: "en" }}">
|
||||||
|
|
||||||
|
{%- include head.html -%}
|
||||||
|
|
||||||
|
<body>
|
||||||
|
|
||||||
|
{%- include header.html -%}
|
||||||
|
|
||||||
|
<main class="page-content" aria-label="Content">
|
||||||
|
<div class="wrapper">
|
||||||
|
{{ content }}
|
||||||
|
</div>
|
||||||
|
</main>
|
||||||
|
|
||||||
|
{%- include footer.html -%}
|
||||||
|
|
||||||
|
{%- include script.html -%}
|
||||||
|
|
||||||
|
</body>
|
||||||
|
|
||||||
|
</html>
|
Loading…
Reference in a new issue