Merge branch 'linux-post' of github.com:ZeusWPI/zeus.ugent.be into linux-post

This commit is contained in:
Rien Maertens 2017-02-02 16:06:17 +01:00
commit 220c4902d7
No known key found for this signature in database
GPG key ID: 943CAB70C511D23C
3 changed files with 12 additions and 2 deletions

View file

@ -7,6 +7,15 @@
}
}
$sel: '';
@for $i from 1 through 9 {
$sel: if($i == 1, "ul", selector-nest($sel, "ul")) !global;
#markdown-toc.toc-depth-#{$i} #{$sel} {
display: none;
}
}
// Definition list is not defined in bulma
dl {
dt {

View file

@ -3,7 +3,8 @@ title: "Linux: hoe doe?"
created_at: 02-02-2017
description: Uitleg en tips voor iedereen die linux wil installeren.
author: Rien
toc: true
toc:
depth: 1
---
_Bij het begin van ieder schooljaar komt er een verse lading studentjes Informatica toe die in de lessen Computergebruik kennis maken met de wondere wereld van GNU/Linux.

View file

@ -4,7 +4,7 @@
Table of Contents
</p>
* x
{:toc}
{:toc .toc-depth-<%= item[:toc][:depth] %>}
</aside>
<% end %>