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}
|
||||
$$
|
||||
|
||||
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:
|
||||
|
@ -68,10 +68,6 @@ $sidenote-highlight-border-width: .2rem;
|
||||
text-align: left;
|
||||
}
|
||||
|
||||
.sidenote-delimiter {
|
||||
display: none;
|
||||
}
|
||||
|
||||
@mixin hidden-sidenote {
|
||||
position: static;
|
||||
margin-top: 1rem;
|
||||
|
@ -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 }}">
|
||||
|
@ -1,5 +0,0 @@
|
||||
<style>
|
||||
.sidenote-checkbox {
|
||||
display: none;
|
||||
}
|
||||
</style>
|
@ -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>
|
||||
|
@ -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>
|
||||
|
Loading…
Reference in New Issue
Block a user