From 6e70f28ccbd5afc1506f71f013278a9d157ef03a Mon Sep 17 00:00:00 2001
From: Prefetch
Date: Thu, 27 Oct 2022 20:40:09 +0200
Subject: Optimize last images, add proof template, improve CSS

---
 source/know/concept/equation-of-motion-theory/index.md | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

(limited to 'source/know/concept/equation-of-motion-theory/index.md')

diff --git a/source/know/concept/equation-of-motion-theory/index.md b/source/know/concept/equation-of-motion-theory/index.md
index 02ed856..c1ed8da 100644
--- a/source/know/concept/equation-of-motion-theory/index.md
+++ b/source/know/concept/equation-of-motion-theory/index.md
@@ -63,11 +63,8 @@ $$\begin{aligned}
     = - \sum_{\nu''} u_{\nu \nu''} \hat{c}_{\nu''}
 \end{aligned}$$
 
-<div class="accordion">
-<input type="checkbox" id="proof-commH0"/>
-<label for="proof-commH0">Proof</label>
-<div class="hidden" markdown="1">
-<label for="proof-commH0">Proof.</label>
+
+{% include proof/start.html id="proof-commutator" -%}
 Using the commutator identity for $$\comm{A B}{C}$$,
 we decompose it like so:
 
@@ -105,9 +102,8 @@ $$\begin{aligned}
     - 2 \acomm{\hat{f}_{\!\nu'}^\dagger}{\hat{f}_{\!\nu}} \hat{f}_{\!\nu''} \Big)
     = - \sum_{\nu''} u_{\nu \nu''} \hat{f}_{\!\nu''}
 \end{aligned}$$
+{% include proof/end.html id="proof-commutator" %}
 
-</div>
-</div>
 
 Substituting this into $$G_{\nu \nu'}^R$$'s equation of motion,
 we recognize another Green's function $$G_{\nu'' \nu'}^R$$:
-- 
cgit v1.2.3