BM-210: add a quick mdbook guide, use figure HTML element (github#43)

Author: nuke-web3

docs/src/README.md

@@ -5,19 +5,52 @@
   <cap>Boundless: Verifiable Off-chain Computation on Any Chain</cap>
 </figure>
 
-This Book's goal is to:
+## What's in this book?
 
-- Enable everyone to _understand_ [Boundless][term-boundless] via the [Market Section][page-market-overview]
+- Enable everyone to _understand_ [Boundless][term-boundless] via the [Market Section][page-boundless-market]
 - Act as a User Manual for the two _actors_ in the [Boundless Market][term-boundless-market]:
   - [Requestors][term-requestor] - using the [Requestor Manual][page-requestor-manual]
   - [Provers][term-prover] - using the [Prover Manual][page-prover-manual]
 
-Boundless is relatively complex in it's architecture and requires idiosyncratic terms to identify what is being referenced, defined in the [glossary][page-glossary].
+## <i class="fa fa-magic"></i> Using this Book
 
-Helpful resources and more can be found in the [reference][page-reference].
+This book is made with [mdBook](https://rust-lang.github.io/mdBook/) - a Rust native documentation tool.
+Please give the official docs there a read to see what nice features are included.
+To name a [few key items](https://rust-lang.github.io/mdBook/guide/reading.html#top-menu-bar):
+
+| Icon                              | Description                                                                     |
+| --------------------------------- | ------------------------------------------------------------------------------- |
+| <i class="fa fa-bars"></i>        | Opens and closes the chapter listing sidebar.                                   |
+| <i class="fa fa-paint-brush"></i> | Opens a picker to choose a different color theme.                               |
+| <i class="fa fa-search"></i>      | Opens a search bar for searching within the book.                               |
+| <i class="fa fa-github"></i>      | Opens a link to the website that hosts the source code of the book.             |
+| <i class="fa fa-edit"></i>        | Opens a page to directly edit the source of the page you are currently reading. |
+
+### <i class="fa fa-arrows"></i> Navigation
+
+Use Arrow keys to:</br>
+<i class="fa fa-arrow-up"></i><i class="fa fa-arrow-down"></i> scroll the page</br>
+<i class="fa fa-arrow-left"></i><i class="fa fa-arrow-right"></i> jump to the previous or next page in the Books side-navigation bar, respectively
+
+### <i class="fa fa-search"></i> Search
+
+Pressing the search icon (<i class="fa fa-search"></i>) in the menu bar, or pressing `s` on the keyboard will open an input box for entering search terms.
+Typing some terms will show matching chapters, sections, and words in pages in real time.
+
+<i class="fa fa-arrow-up"></i><i class="fa fa-arrow-down"></i> arrows highlight & enter to jump or clicking any of the results will jump to that section.
+The up and down arrow keys can be used to navigate the results, and enter will open the highlighted section.
+
+After loading a search result, the matching search terms will be highlighted in the text.
+Clicking a highlighted word or pressing `Esc` will remove the highlighting.
+
+### <i class="fa fa-file-text-o"></i> Glossary & Reference
+
+Boundless is relatively complex in it's architecture and requires idiosyncratic concepts and terms defined in the [glossary][page-glossary].
+
+Helpful resources and further reading can be found in the [reference][page-reference].
 
 [page-prover-manual]: prover-manual/README.md
-[page-market-overview]: market/README.md
+[page-boundless-market]: market/README.md
 [page-requestor-manual]: requestor-manual/README.md
 [page-glossary]: glossary.md
 [page-reference]: reference.md

docs/src/SUMMARY.md

@@ -4,7 +4,7 @@
 
 ---
 
-- [💹 Market Overview](./market/README.md)
+- [💹 Market Docs](./market/README.md)
 
   - [Boundless Market RFC](./market/rfc.md)
   - [Market Matching](./market/matching.md)

docs/src/market/README.md

@@ -1,4 +1,4 @@
-# Market Overview
+# Market Documentation Overview
 
 This section includes details pertinent to both:
 

docs/src/market/rfc.md

@@ -4,16 +4,17 @@
 
 Below is a diagram of the interaction flow assuming a user with a wallet is driving it.
 
-[https://excalidraw.com/#json=Dez07vdrpA3Hm4cX96jsF,qk9CxkIWC1AXOCN14KbQ6Q](https://excalidraw.com/#json=Dez07vdrpA3Hm4cX96jsF,qk9CxkIWC1AXOCN14KbQ6Q)
-
-![Boundless market diagram](../images/boundless_market_diagram.png)
+<figure>
+  <img src="../images/boundless_market_diagram.png"/>
+  <cap>Boundless market diagram (<a href=https://excalidraw.com/#json=Dez07vdrpA3Hm4cX96jsF,qk9CxkIWC1AXOCN14KbQ6Q target=_blank>source</a>)</cap>
+</figure>
 
 1. [Requestor][term-requestor] broadcasts their proof request to make it available to all provers.
 2. [Prover][term-prover] receives the request, attempts to fetch the [ELF binary][r0-term-elf-binary] with associated [Image ID][r0-term-image-id] and inputs, and evaluates it via preflight in the [executor][r0-term-executor]. Preflight allows the prover to know both that the request can actually be fulfilled and allows it to estimate the cost of proving. After evaluation, the prover will determine a price they would like to bid.
 
 3. Prover sends a transaction to place their bid and lock-in the request. Upon lock-in, they have exclusive rights to be paid for the request, and must provide a requestor-specified amount of stake as collateral, burned in the event they fail to deliver a proof by the deadline.
 4. Prover produces the receipt:
-   1. Proves the application [guest][] execution
+   1. Proves the application [guest][r0-term-guest-program] execution
    2. Optionally aggregates the request into a batch via the set builder guest.
    3. Proves the request conditions are met via the Assessor guest.
    4. Adds the Assessor receipt to the batch via the set builder guest.
@@ -301,9 +302,10 @@ struct AssessorJournal {
 
 After the Assessor is executed and proven, it is added to a running batch for efficient on-chain verification. A diagram showing the Merkle tree constructed by the set builder for aggregate verification.
 
-[https://excalidraw.com/#json=7Zh4h6tXCY2mR2NLW8DvF,ixQZR3mEgm4Z5w6vtT86Xg](https://excalidraw.com/#json=7Zh4h6tXCY2mR2NLW8DvF,ixQZR3mEgm4Z5w6vtT86Xg)
-
-![Assessor diagram](../images/assessor.png)
+<figure>
+  <img src="../images/assessor.png"/>
+  <cap>Assessor diagram (<a href=https://excalidraw.com/#json=7Zh4h6tXCY2mR2NLW8DvF,ixQZR3mEgm4Z5w6vtT86Xg target=_blank>source</a>)</cap>
+</figure>
 
 [term-requestor]: ../glossary.md#requestor
 [term-prover]: ../glossary.md#prover

docs/src/prover-manual/bento/README.md

@@ -37,7 +37,10 @@ in its operation:
 
 Bento's design philosophy is centered around TaskDB. TaskDB is a database schema in PostgreSQL that acts as a central communications hub, scheduler, and queue for all of the Bento system. To illustrate further, the following diagram is the visual representation of the proving workflow (RISC0 continuations).
 
-![Bento Diagram](../../images/bento-diagram.png)
+<figure>
+  <img src="../../images/bento-diagram.png"/>
+  <cap>Bento Diagram</cap>
+</figure>
 
 From there Bento has the application containers