pessimistic proof.md and overview.md

More styling and changes

Author: Jaime-N

docs/agglayer/architecture/pessimistic-proof.md

@@ -21,15 +21,13 @@ The AggLayer uses per-chain pessimistic proofs to ensure a complete view of all
 For any cross-chain token transfer to be finalized such that the token may be withdrawn on the underlying L1, a valid pessimistic proof must be generated. Each chain connected to the AggLayer is required to provide some of the inputs necessary for building a valid pessimistic proof.
 
 !!! note
-      For more on how the AggLayer settles bridge claims to the underlying L1, see: [Unified Bridge](#)
+      For more on how the Agglayer settles bridge claims to the underlying L1, see: [Unified Bridge](../architecture/unified-bridge/)
 
 ## Token State
-
-=======
 Each chain maintains a data structure called a **Local Exit Tree**, which contains only the messages and token transfers originating from it. In the unified bridge, Ethereum holds a **Global Exit Root**, which represents a tree containing all of the Local Exit Roots of chains integrated with the AggLayer.
 
 !!! note
-      For a **detailed breakdown** of all data used by the AggLayer, refer to the **[Unified Bridge: Data Structures](../../agglayer/architecture/unified-bridge.md#unified-bridge-data-structures)** section.
+      For a detailed breakdown of all data used by the Agglayer, see: [Unified Bridge: Data Structures](../../agglayer/architecture/unified-bridge.md#unified-bridge-data-structures)
 
 In a simple token transfer, the source chain’s **Local Exit Tree** is used to reduce the balance of available tokens on its **Local Balance Tree**.
 
@@ -63,7 +61,6 @@ The first statement ensures that each chain has reached its latest state accordi
 If the computation performed within the pessimistic proof is consistent, a valid proof is generated.
 
 !!! note
-      The AggLayer v0.2 allows rollups and validiums built with Polygon CDK to use the legacy settlement mechanism without generating a pessimistic proof.
-
+      The Agglayer v0.2 allows rollups and validiums built with Polygon CDK to use the legacy settlement mechanism without generating a pessimistic proof.
 
 ![Pessimistic Proof Sequence](../../img/agglayer/pessimistic-proof-sequence.svg)

docs/agglayer/overview.md

@@ -28,23 +28,23 @@ hide:
 
 <div class="grid-container">
    <div class="grid-item">
-    <a href="./architecture/overview/">
+    <a href="/agglayer/architecture/overview/">
         <div class="product-list-item-header">
             <div class="feature-card-heading">Agglayer Architecture</div>
         </div>
         <p class="feature-paragraph">A high-level overview of the Agglayer’s components and their functions</p>
     </a>
 </div>
 <div class="grid-item">
-    <a href="./crosschain-interop/crosschain-interop/">
+    <a href="/agglayer/crosschain-interop/crosschain-interop/">
         <div class="product-list-item-header">
             <div class="feature-card-heading">Cross-chain Interop</div>
         </div>
         <p class="feature-paragraph">Learn how to use <code>bridgeAndCall()</code> for cross-chain interactions</p>
     </a>
 </div>
 <div class="grid-item">
-    <a href="./architecture/pessimistic-proof/">
+    <a href="/agglayer/architecture/pessimistic-proof/">
         <div class="product-list-item-header">
             <div class="feature-card-heading">Pessimistic Proof</div>
         </div>