Started web pages describing the main KLEE tools, and the main files

generated by KLEE.  Small updates to the CSS file and tutorials.html



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72208 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 9 insertions, 1 deletions

diff --git a/www/content.css b/www/content.css
index 9571114d..355ecca5 100644
--- a/www/content.css
+++ b/www/content.css
@@ -35,10 +35,18 @@ div.instr{
     margin: 7px;
 }
 
+/* Instructions */
+pre.output{
+    border: 1px solid LightSteelBlue ;
+    font-family: Courier New;
+    background-color: #E3E3E3;
+    padding: 7px;
+    margin: 7px;
+}
+
 /* Code */
 pre.code{
     display:table;
-    text-align: left;
     border: 1px solid LightSteelBlue ;
     font-family: Courier New;
     background-color: #E3E3E3;