Compare commits
No commits in common. "31e9e58304cafade2990a06b4698c4f48ed3ce47" and "2d6aab6b71edb68f8b0d39484ed9a8ae601cb7f2" have entirely different histories.
31e9e58304
...
2d6aab6b71
@ -121,7 +121,7 @@ A\_{mult} & \\rightarrow P
|
|||||||
\\end{align}
|
\\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.
|
Once again, if there's no `*` or `\`, we simply fall through to a \\(P\\) nonterminal, representing application.
|
||||||
|
|
||||||
Application is refreshingly simple:
|
Application is refreshingly simple:
|
||||||
|
@ -68,10 +68,6 @@ $sidenote-highlight-border-width: .2rem;
|
|||||||
text-align: left;
|
text-align: left;
|
||||||
}
|
}
|
||||||
|
|
||||||
.sidenote-delimiter {
|
|
||||||
display: none;
|
|
||||||
}
|
|
||||||
|
|
||||||
@mixin hidden-sidenote {
|
@mixin hidden-sidenote {
|
||||||
position: static;
|
position: static;
|
||||||
margin-top: 1rem;
|
margin-top: 1rem;
|
||||||
|
@ -8,7 +8,6 @@
|
|||||||
{{ $style := resources.Get "scss/style.scss" | resources.ToCSS | resources.Minify }}
|
{{ $style := resources.Get "scss/style.scss" | resources.ToCSS | resources.Minify }}
|
||||||
{{ $sidenotes := resources.Get "scss/sidenotes.scss" | resources.ToCSS | resources.Minify }}
|
{{ $sidenotes := resources.Get "scss/sidenotes.scss" | resources.ToCSS | resources.Minify }}
|
||||||
{{ $icon := resources.Get "img/favicon.png" }}
|
{{ $icon := resources.Get "img/favicon.png" }}
|
||||||
{{- partial "sidenotes.html" . -}}
|
|
||||||
<link rel="stylesheet" href="{{ $style.Permalink }}">
|
<link rel="stylesheet" href="{{ $style.Permalink }}">
|
||||||
<link rel="stylesheet" href="{{ $sidenotes.Permalink }}">
|
<link rel="stylesheet" href="{{ $sidenotes.Permalink }}">
|
||||||
<link rel="icon" type="image/png" href="{{ $icon.Permalink }}">
|
<link rel="icon" type="image/png" href="{{ $icon.Permalink }}">
|
||||||
|
@ -1,5 +0,0 @@
|
|||||||
<style>
|
|
||||||
.sidenote-checkbox {
|
|
||||||
display: none;
|
|
||||||
}
|
|
||||||
</style>
|
|
@ -4,8 +4,6 @@
|
|||||||
<label class="sidenote-label" for="numbernote-{{ $id }}">({{ $id }})</label>
|
<label class="sidenote-label" for="numbernote-{{ $id }}">({{ $id }})</label>
|
||||||
<input class="sidenote-checkbox" type="checkbox" id="numbernote-{{ $id }}"></input>
|
<input class="sidenote-checkbox" type="checkbox" id="numbernote-{{ $id }}"></input>
|
||||||
<span class="sidenote-content sidenote-{{ .Get 0 }}">
|
<span class="sidenote-content sidenote-{{ .Get 0 }}">
|
||||||
<span class="sidenote-delimiter">[note:</span>
|
|
||||||
{{ .Inner }}
|
{{ .Inner }}
|
||||||
<span class="sidenote-delimiter">]</span>
|
|
||||||
</span>
|
</span>
|
||||||
</span>
|
</span>
|
||||||
|
@ -2,8 +2,6 @@
|
|||||||
<label class="sidenote-label" for="{{ .Get 1 }}">{{ .Get 2 }}</label>
|
<label class="sidenote-label" for="{{ .Get 1 }}">{{ .Get 2 }}</label>
|
||||||
<input class="sidenote-checkbox" type="checkbox" id="{{ .Get 1 }}"></input>
|
<input class="sidenote-checkbox" type="checkbox" id="{{ .Get 1 }}"></input>
|
||||||
<span class="sidenote-content sidenote-{{ .Get 0 }}">
|
<span class="sidenote-content sidenote-{{ .Get 0 }}">
|
||||||
<span class="sidenote-delimiter">[note:</span>
|
|
||||||
{{ .Inner }}
|
{{ .Inner }}
|
||||||
<span class="sidenote-delimiter">]</span>
|
|
||||||
</span>
|
</span>
|
||||||
</span>
|
</span>
|
||||||
|
Loading…
Reference in New Issue
Block a user