changeset 237:43f2e21e2225

reindent Ignore-this: e1d8671c92ea28fe8a176d88262e6523
author drewp@bigasterisk.com
date Mon, 01 Feb 2016 02:34:26 -0800
parents 273709eaaefd
children 7a9836d51b0e
files service/reasoning/index.html
diffstat 1 files changed, 22 insertions(+), 23 deletions(-) [+]
line wrap: on
line diff
--- 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>