turn off querycode.css for now as it appears to set stuff for e.g. div.in that messes...

[unfold.git] / plugins / querycode / querycode.css

diff --git a/plugins/querycode/querycode.css b/plugins/querycode/querycode.css
index 7d6f86e..840a797 100644 (file)
--- a/plugins/querycode/querycode.css
+++ b/plugins/querycode/querycode.css
@@ -1,4 +1,10 @@
-body { font-family:Arial, Helvetica, Sans-Serif; font-size:0.8em;}
+/* Thierry
+ This needs to be cleaned up 
+ in particular div.in below conflicts with bootstrap's fade in so another name would be helpful
+ ----
+ turning this off altogether for now -- see querycode.py
+ */
+/* body { font-family:Arial, Helvetica, Sans-Serif; font-size:0.8em;} */
 
 #report {
 border-collapse:collapse;
@@ -45,7 +51,7 @@ div.info:hover span{ /*the span will display just on :hover state*/
     padding: 0em 0em 0em 1em;
 }
 
-div.method {
+div.subject {
     padding: 10px;
     background-color: #fafafa;
     border-top: solid 1px black;
@@ -143,43 +149,45 @@ div.selected{background-color:gray; color:black}
 div.invisible{display:none}
 
 div.clean{
-        border: 1px solid #850000;
+    border: 1px solid #850000;
 }
 
 .clean td, .clean th{
-        border: 2px solid #bbb;
-        background: #ddd;
-        padding: 5px 10px;
-        text-align: center;
-        border-radius: 2px;
+    border: 2px solid #bbb;
+    background: #ddd;
+    padding: 5px 10px;
+    text-align: center;
+    border-radius: 2px;
 }
 
 .clean table{
-        margin: auto;
-        margin-top: 15px;
-        margin-bottom: 15px;
+    margin: auto;
+    margin-top: 15px;
+    margin-bottom: 15px;
 }
 
 .clean caption{
-        font-weight: bold;
-
+    font-weight: bold;
 }
 
 .gvChart,.clean{
-        border: 2px solid #850000;
-        border-radius: 5px;
-        -moz-border-radius: 10px;
-        width: 720px;
-
-        margin: auto;
-        margin-top: 20px;
+    border: 2px solid #850000;
+    border-radius: 5px;
+    -moz-border-radius: 10px;
+    width: 720px;
+    
+    margin: auto;
+    margin-top: 20px;
 }
 
 pre{
-        background: #eee;
-        padding: 10px;
-        border-radius: 10px;
-        -moz-border-radius: 10px;
-        white-space: pre-wrap;
+    background: #eee;
+    padding: 10px;
+    border-radius: 10px;
+    -moz-border-radius: 10px;
+    white-space: pre-wrap;
 }
 
+button.querycode {
+    margin-bottom: 10px;
+}