Fix up formatting in the docs package to use Prettier correctly (#370)

* Add .prettierignore to docs package

* Fix up prettier errors

docs/.prettierignore

@@ -0,0 +1,2 @@
+.docusaurus/
+build/

docs/docs/binary-markets.md

@@ -15,10 +15,10 @@ Uniswap's CPMM and a suggestion from Manifold user Pepe.
 - Markets are structured around a question with a binary outcome.
 - Traders can place a bet on either YES or NO and receive shares in the outcome in return.
 - 1 YES share = M$1 if the event happens. 1 NO share = M$1 if the event does not happen.
-    - Notice that 1 YES share + 1 NO share = M$1. If you ever get multiple YES and NO shares, they will cancel out and you will be left with cash.
+  - Notice that 1 YES share + 1 NO share = M$1. If you ever get multiple YES and NO shares, they will cancel out and you will be left with cash.
 - When the market is resolved, you will be paid out according to your shares. If you own 100 YES shares, if the event resolves YES, you will earn M$100. (If the event resolves NO, you will earn M$0).
 - The creator of each market is responsible for resolving each market YES or NO.
-    - Creators can also resolve N/A to cancel all transactions and return the money, or resolve to a particular probability (say 50%).
+  - Creators can also resolve N/A to cancel all transactions and return the money, or resolve to a particular probability (say 50%).
 
 # Betting
 
@@ -26,15 +26,15 @@ Uniswap's CPMM and a suggestion from Manifold user Pepe.
 - Manifold's automated market automatically adjusts the market probability after each trade and determines how many shares a user will get for their bet.
 - You can sell back your shares for cash. If you sell YES shares, the market probability will go down. If you sell NO shares, the probability will go up.
 - Manifold charges fees on each trade. They are baked into the number of shares you receive.
-    - If you place a M$100 bet on YES when the probability is 50%, you may end up with 150 YES shares. These shares already include our fees. Notice also that when you buy, the probability goes up, so you are not getting in exactly at 200 shares or 50%.
-    - Our fee schedule is currently: 13% * (1 - post-bet probability) * bet amount
-        - The post-trade probability is what the market probability would be after your bet if there were no fees.
-        - Example:
-            - If you bet M$100 on NO and the resulting probability without fees would be 10%, then you pay M$100 * 13% * 10% = M$1.3.
-            - If you bet M$100 on YES and the resulting probability without fees would be 90%, then you pay `M$100 * 13% * 10% = M$1.3`.
-        - The fees are used to provide a commission to the market creator and to subsidize trading within the market.
-        - The market creator’s commission is paid out only after the market is resolved.
-    - No fees are levied on sales.
+  - If you place a M$100 bet on YES when the probability is 50%, you may end up with 150 YES shares. These shares already include our fees. Notice also that when you buy, the probability goes up, so you are not getting in exactly at 200 shares or 50%.
+  - Our fee schedule is currently: 13% _ (1 - post-bet probability) _ bet amount
+    - The post-trade probability is what the market probability would be after your bet if there were no fees.
+    - Example:
+      - If you bet M$100 on NO and the resulting probability without fees would be 10%, then you pay M$100 _ 13% _ 10% = M$1.3.
+      - If you bet M$100 on YES and the resulting probability without fees would be 90%, then you pay `M$100 * 13% * 10% = M$1.3`.
+    - The fees are used to provide a commission to the market creator and to subsidize trading within the market.
+    - The market creator’s commission is paid out only after the market is resolved.
+  - No fees are levied on sales.
 
 # Market creation
 

docs/docs/faq.md

@@ -10,7 +10,6 @@ Nope! Each account starts with a free M$ 1000. If you invest it wisely, you can
 
 Manifold Dollars, or mana for short.
 
-
 ### Can M$ be sold for real money?
 
 No. Gambling laws put many restrictions on real-money prediction markets, so Manifold uses play money instead.
@@ -30,7 +29,6 @@ In general, prediction markets are very accurate. They do have some known issues
 
 As a general heuristic, check the total pool for the market in question. The more M$ there is in the market, the more likely it is to be accurate.
 
-
 ### Can I participate without having a Google account?
 
 No. See [here](https://manifold.markets/hamnox/will-manifold-markets-add-nongoogle) for the probability that this changes.

docs/docusaurus.config.js

@@ -51,8 +51,8 @@ const config = {
   scripts: [
     {
       src: 'https://cdn.jsdelivr.net/npm/link-summoner@1.0.2/dist/browser.min.js',
-      async: 'true'
-    }
+      async: 'true',
+    },
   ],
 
   themeConfig: