diff --git a/ui/app/assets/css/main.css b/ui/app/assets/css/main.css
index 82efc6b..28925b4 100644
--- a/ui/app/assets/css/main.css
+++ b/ui/app/assets/css/main.css
@@ -208,8 +208,8 @@ html, body {
 
 @layer components {
   .prose-tight-list li {
-    line-height: 0.5 !important;
-    margin-top: 0.25rem !important;
-    margin-bottom: 0.25rem !important;
+    line-height: 1.5 !important;
+    margin-top: 0.1rem !important;
+    margin-bottom: 0.1rem !important;
   }
 }
diff --git a/ui/app/components/Flow.vue b/ui/app/components/Flow.vue
index 1d5bf58..72716b5 100644
--- a/ui/app/components/Flow.vue
+++ b/ui/app/components/Flow.vue
@@ -78,21 +78,21 @@ onNodeClick(event => {
   adtOpts.value = {}
 })
 
-watch(
-  () => ({ caller: item.value, opts: flowOpts.value, tags: props.tags, ch: chPx.value }),
-  async ({ caller, opts, tags, ch }) => {
-    // This should be a caller or adt, but currently only caller is supported.
-    if (!caller.name) return;
+// () => ({ caller: item.value, opts: flowOpts.value, tags: props.tags, ch: chPx.value }),
+watchEffect(async () => {
+  const caller = item.value
+  // This should be a caller or adt, but currently only caller is supported.
+  if (!caller.name) return;
 
-    const px = Math.ceil(ch);
-    const plotConfig = new PlotConfig(tags, px, opts);
+  const px = Math.ceil(chPx.value);
+  const plotConfig = new PlotConfig(props.tags, px, flowOpts.value);
 
-    const plot = new Plot(plotConfig, elk);
-    await plot.plot(caller);
+  const plot = new Plot(plotConfig, elk);
+  await plot.plot(caller);
 
-    const { nodes, edges, config } = plot;
-    data.value = { nodes, edges, id_to_item: config.id_to_item };
-  })
+  const { nodes, edges, config } = plot;
+  data.value = { nodes, edges, id_to_item: config.id_to_item };
+})
 
 watch(() => flowOpts.value.fit, val => {
   if (val) { fitView(); flowOpts.value.fit = false; }
diff --git a/ui/app/components/code/Adt.vue b/ui/app/components/code/Adt.vue
index d7d0fd6..1f0416f 100644
--- a/ui/app/components/code/Adt.vue
+++ b/ui/app/components/code/Adt.vue
@@ -68,7 +68,7 @@ const groupedFieldAccess = computed<{ [key: string]: AdtPanelItem[] }>(() => {
 
 // Constructors
 const constructors = computed<AdtPanelItem>(() =>
-  gen(props.adt?.constructors, "Constructors", `All Constructors of ${props.adt?.name ?? ''}`)
+  gen(props.adt?.constructors, "Constructors", `All Constructors of \`${props.adt?.name ?? ''}\``)
 )
 
 // As arguments
diff --git a/ui/app/components/widget/TopBar.vue b/ui/app/components/widget/TopBar.vue
index 3dbbe91..85cadb0 100644
--- a/ui/app/components/widget/TopBar.vue
+++ b/ui/app/components/widget/TopBar.vue
@@ -18,7 +18,7 @@
         </template>
       </UModal>
 
-      <USlideover side="left" title="Navigation">
+      <USlideover side="left" title="Navigation Tree">
         <UTooltip text="Navigation">
           <UButton icon="tabler:sitemap" variant="ghost" />
         </UTooltip>
@@ -33,22 +33,23 @@
       </UTooltip>
 
       <UModal :ui="{ content: 'w-[70vw] max-w-none' }">
-        <UTooltip text="Safety Tags (Safety Properties)">
-          <UButton icon="tabler:tag" variant="ghost" :ui="{ leadingIcon: 'text-orange-600 dark:text-orange-400' }" />
+        <UTooltip text="Safety Properties Specs & Stats">
+          <UButton icon="tabler:tag" variant="ghost" label="Safety Tags"
+            :ui="{ leadingIcon: 'text-orange-600 dark:text-orange-400', label: 'text-orange-600 dark:text-orange-400' }" />
         </UTooltip>
         <template #content>
           <WidgetTag :tags="tags" />
         </template>
       </UModal>
 
-      <UTooltip v-if="false" text="Layout Algorithm">
-        <USelect v-model="flowOpts.layout" placeholder="Layout" :items="ELK_LAYOUTS" class="w-31"
-          icon="tabler:layout-board-split-filled" />
-      </UTooltip>
-
-      <UTooltip text="Edge Type">
-        <USelect v-model="flowOpts.edge" placeholder="Edge Type" :items="EDGE_TYPES" class="w-30" icon="tabler:line" />
-      </UTooltip>
+      <!-- <UTooltip v-if="false" text="Layout Algorithm"> -->
+      <!--   <USelect v-model="flowOpts.layout" placeholder="Layout" :items="ELK_LAYOUTS" class="w-31" -->
+      <!--     icon="tabler:layout-board-split-filled" /> -->
+      <!-- </UTooltip> -->
+      <!---->
+      <!-- <UTooltip text="Edge Type"> -->
+      <!--   <USelect v-model="flowOpts.edge" placeholder="Edge Type" :items="EDGE_TYPES" class="w-30" icon="tabler:line" /> -->
+      <!-- </UTooltip> -->
 
       <UTooltip text="Fit To Screen">
         <UButton icon="tabler:arrow-autofit-height" color="neutral" variant="ghost" @click="fitViewHandle" />
@@ -67,7 +68,7 @@
 <script setup lang="ts">
 import type { TreeItem } from '@nuxt/ui';
 import { getTag, type DataTags } from '~/lib/output/tag';
-import { VIEW_TYPES, NAVI, naviTreeURL, ELK_LAYOUTS, EDGE_TYPES, CRATES, } from '~/lib/topbar';
+import { VIEW_TYPES, NAVI, naviTreeURL, CRATES, } from '~/lib/topbar';
 import type { Navi, FlowOpts, Crate, Search, SearchFnItem } from '~/lib/topbar';
 
 // Props values are passed in, and never mutated here.
diff --git a/ui/app/lib/panel.ts b/ui/app/lib/panel.ts
index 95f04a8..ad17db2 100644
--- a/ui/app/lib/panel.ts
+++ b/ui/app/lib/panel.ts
@@ -8,7 +8,7 @@ export const enum Panel {
   Adt = "Adt Exogenous Fn",
 }
 
-export const PANELS: Panel[] = [Panel.Tag, Panel.Adt, Panel.Doc, Panel.Src, Panel.Mir];
+export const PANELS: Panel[] = [Panel.Adt, Panel.Tag, Panel.Doc, Panel.Src, Panel.Mir];
 
 export type PanelContent = {
   nodeItem: string