# HG changeset patch
# User drewp@bigasterisk.com
# Date 1454322866 28800
# Node ID 43f2e21e2225b82b4e5fdb3b454838e130ea96e5
# Parent  273709eaaefda4765fbc6dea5561eba606d8cbce
reindent
Ignore-this: e1d8671c92ea28fe8a176d88262e6523

diff -r 273709eaaefd -r 43f2e21e2225 service/reasoning/index.html
--- a/service/reasoning/index.html	Mon Feb 01 02:33:33 2016 -0800
+++ b/service/reasoning/index.html	Mon Feb 01 02:34:26 2016 -0800
@@ -5,34 +5,33 @@
     <link rel="import" href="https://bigasterisk.com/lib/polymer/0.5.2/core-splitter/core-splitter.html">
     <link rel="import" href="https://bigasterisk.com/supdebug/bang/service-rows/main.html">
     <style type="text/css" media="all">
-      /* <![CDATA[ */
-body {
-    font-family: sans-serif;
-    font-size: 12px;
-
-}
-pre {
-    font-family: sans-serif;
-} 
-pre div {
-    border-bottom: 1px solid #ccc;
-}
-.pred {
-    background: #e7e6f8;
-}
-.obj {
-    background: #ccf
-}
+     /* <![CDATA[ */
+     body {
+       font-family: sans-serif;
+       font-size: 12px;
+     }
+     pre {
+       font-family: sans-serif;
+     } 
+     pre div {
+       border-bottom: 1px solid #ccc;
+     }
+     .pred {
+       background: #e7e6f8;
+     }
+     .obj {
+       background: #ccf
+     }
      .pane {
-position: relative;
+       position: relative;
        display: flex;
-flex-direction: column;
-       }
+       flex-direction: column;
+     }
      .pane pre {
        overflow: auto;
        flex-grow: 1;
-       }
-/* ]]> */
+     }
+     /* ]]> */
     </style>
 
   </head>