X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=plugins%2Fquerycode%2Fquerycode.css;h=840a7975b3d52b1419d7e00627835410a1bcd0a3;hb=749a43a7f1238a362e8c27dd8bf104672911dfa7;hp=7d6f86ed9c2f0a9db86b720d57d54223caa28e9f;hpb=c6cb049fa23065c0c7442f3c021c92dba43c5658;p=unfold.git diff --git a/plugins/querycode/querycode.css b/plugins/querycode/querycode.css index 7d6f86ed..840a7975 100644 --- 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; +}