Compare commits

..

No commits in common. "31e9e58304cafade2990a06b4698c4f48ed3ce47" and "2d6aab6b71edb68f8b0d39484ed9a8ae601cb7f2" have entirely different histories.

6 changed files with 1 additions and 15 deletions

View File

@ -121,7 +121,7 @@ A\_{mult} & \\rightarrow P
\\end{align}
$$
P, in this case, is an application (remember, application has higher precedence than any binary operator).
P, in this case, is an a__p__lication (remember, application has higher precedence than any binary operator).
Once again, if there's no `*` or `\`, we simply fall through to a \\(P\\) nonterminal, representing application.
Application is refreshingly simple:

View File

@ -68,10 +68,6 @@ $sidenote-highlight-border-width: .2rem;
text-align: left;
}
.sidenote-delimiter {
display: none;
}
@mixin hidden-sidenote {
position: static;
margin-top: 1rem;

View File

@ -8,7 +8,6 @@
{{ $style := resources.Get "scss/style.scss" | resources.ToCSS | resources.Minify }}
{{ $sidenotes := resources.Get "scss/sidenotes.scss" | resources.ToCSS | resources.Minify }}
{{ $icon := resources.Get "img/favicon.png" }}
{{- partial "sidenotes.html" . -}}
<link rel="stylesheet" href="{{ $style.Permalink }}">
<link rel="stylesheet" href="{{ $sidenotes.Permalink }}">
<link rel="icon" type="image/png" href="{{ $icon.Permalink }}">

View File

@ -1,5 +0,0 @@
<style>
.sidenote-checkbox {
display: none;
}
</style>

View File

@ -4,8 +4,6 @@
<label class="sidenote-label" for="numbernote-{{ $id }}">({{ $id }})</label>
<input class="sidenote-checkbox" type="checkbox" id="numbernote-{{ $id }}"></input>
<span class="sidenote-content sidenote-{{ .Get 0 }}">
<span class="sidenote-delimiter">[note:</span>
{{ .Inner }}
<span class="sidenote-delimiter">]</span>
</span>
</span>

View File

@ -2,8 +2,6 @@
<label class="sidenote-label" for="{{ .Get 1 }}">{{ .Get 2 }}</label>
<input class="sidenote-checkbox" type="checkbox" id="{{ .Get 1 }}"></input>
<span class="sidenote-content sidenote-{{ .Get 0 }}">
<span class="sidenote-delimiter">[note:</span>
{{ .Inner }}
<span class="sidenote-delimiter">]</span>
</span>
</span>