# HG changeset patch # User drewp # Date 1563955351 25200 # Node ID 14802ffc9e446e39eac3b24ebc94cea4b7b4fb22 # Parent 302063bfb8ff99a0c517377eb694b6dd7327ee17 clean up reasoning page Ignore-this: e365f3e50b7610c8e694b8641acdae2 darcs-hash:b483f397e3dbfcd574cf8a4a6a450f2893c303fd diff -r 302063bfb8ff -r 14802ffc9e44 service/reasoning/index.html --- a/service/reasoning/index.html Wed Jul 24 00:36:16 2019 -0700 +++ b/service/reasoning/index.html Wed Jul 24 01:02:31 2019 -0700 @@ -2,20 +2,10 @@ reasoning - + - @@ -31,63 +21,47 @@ font-family: 'Allerta', sans-serif; font-size: 12px; } + pre { + font-family: 'Allerta', sans-serif; + } a { color: #b1b1fd; text-shadow: 1px 1px 0px #0400ff94; text-decoration-color: #00007714; } - #subjectRequest { - width: 50em; - } + .pane > h2 { background: #3f738a61; border-top-left-radius: 23px; border-top-right-radius: 23px; border-top: 3px solid #2a4b58; padding: 14px 0 5px 11px; - margin-top: 10px; } - pre { - font-family: sans-serif; - } - pre div { - border-bottom: 1px solid #ccc; - } - - #out > section { background: #1d23314a; } #out2 > section { background: #4222134a; } - /* ]]> */ + /* ]]> */ - + - - - -

reasoning service

Service

- -
+

Input

- -
- - +
-
+

Rules

-
+ 

       

       
@@ -96,7 +70,6 @@
       
     

 
-
-    

+    

       
Output

 
       
-      

-
-
-      
-
-
+      

     

 
-    

-
+    

       
put outputs

       
       
@@ -213,7 +148,38 @@
          });
        });
       
-        
+    
+
+