add dummy indices for summary spec main topics

doc/src/SUMMARY.md

@@ -66,38 +66,38 @@
 
 # Specs
 
-- [Payment] (spec/payment/payment.md)
-  - [burn] (spec/payment/burn.md)
-  - [mint] (spec/payment/mint.md)
-  - [coin] (spec/payment/coin.md)
-  - [token id] (spec/payment/token_id.md)
-  - [freeze token] (spec/payment/freeze_token.md)
-  - [token mint] (spec/payment/token_mint.md)
-
-- [Dao]
-  - [dao functions] (spec/dao/dao.md)
-  - [bulla] (spec/dao/bulla.md)
-  - [proposal] (spec/dao/proposal.md)
-  - [dao proposal] (spec/dao/dao_propose.md)
-  - [dao proposal burn] (spec/dao/dao_propose_burn.md)
-  - [mint] (spec/dao/mint.md)
-  - [vote] (spec/dao/vote.md)
-  - [vote burn] (spec/dao/vote_burn.md)
-  - [exec] (spec/dao/dao_exec.md)
-
-- [Proof of Stake]
-  - [burn] (spec/pos/burn.md)
-  - [mint] (spec/pos/mint.md)
-  - [lottery] (spec/pos/proposal.md)
-
-- [Crypto]
-  - [commitment] (spec/crypto/commitment.md)
-  - [keypair] (spec/crypto/keypair.md)
-  - [Signature] (spec/crypto/signature.md)
-  - [hash] (spec/crypto/hash.md)
-  - [merkletree] (spec/crypto/merkletree.md)
-  - [note] (spec/crypto/note.md)
-  - [vrf] (spec/crypto/vrf.md)
+- [Payment](spec/payment/payment.md)
+  - [burn](spec/payment/burn.md)
+  - [mint](spec/payment/mint.md)
+  - [coin](spec/payment/coin.md)
+  - [token id](spec/payment/token_id.md)
+  - [freeze token](spec/payment/freeze_token.md)
+  - [token mint](spec/payment/token_mint.md)
+
+- [Dao](spec/dao/index.md)
+  - [dao functions](spec/dao/dao.md)
+  - [bulla](spec/dao/bulla.md)
+  - [proposal](spec/dao/proposal.md)
+  - [dao proposal](spec/dao/dao_propose.md)
+  - [dao proposal burn](spec/dao/dao_propose_burn.md)
+  - [mint](spec/dao/mint.md)
+  - [vote](spec/dao/vote.md)
+  - [vote burn](spec/dao/vote_burn.md)
+  - [exec](spec/dao/dao_exec.md)
+
+- [Proof of Stake](spec/pos/index.md)
+  - [burn](spec/pos/burn.md)
+  - [mint](spec/pos/mint.md)
+  - [lottery](spec/pos/proposal.md)
+
+- [Crypto](spec/crypto/index.md)
+  - [commitment](spec/crypto/commitment.md)
+  - [keypair](spec/crypto/keypair.md)
+  - [Signature](spec/crypto/signature.md)
+  - [hash](spec/crypto/hash.md)
+  - [merkletree](spec/crypto/merkletree.md)
+  - [note](spec/crypto/note.md)
+  - [vrf](spec/crypto/vrf.md)
 
 
 # Misc

doc/src/spec/dao/dao_propose.md

@@ -34,9 +34,9 @@ $$ \mathcal{L}= \{X:W\in \mathcal{R}\} $$
 | $blind^{bulla}$          | bulla commitment blinding factor                       |
 | pos                      | bulla leaf position in the merkle tree                 |
 | path                     | path of the bulla leaf at position `pos`
-      |
+    |
 
 # circuit checks
 
-- $ proposal^{amount} > 0 $
-- $ proposerLimit <= value^{total} $
+- $proposal^{amount} > 0$
+- $proposerLimit <= value^{total}$