2014-02-24 15:33:53 +01:00
|
|
|
div.debug {
|
|
|
|
|
background: #f5f5f5;
|
|
|
|
|
font-size: 90%;
|
|
|
|
|
margin: 1em 0;
|
|
|
|
|
padding: 1em;
|
|
|
|
|
color: black;
|
|
|
|
|
text-align: left;
|
|
|
|
|
}
|
|
|
|
|
div.debug pre {
|
2014-07-27 22:04:40 +02:00
|
|
|
margin: 0 1em 1em 1em;
|
2014-02-24 15:33:53 +01:00
|
|
|
white-space: normal;
|
|
|
|
|
text-indent: -1em;
|
|
|
|
|
}
|
|
|
|
|
div.debug pre.query {
|
|
|
|
|
color: maroon;
|
|
|
|
|
}
|
|
|
|
|
div.debug pre.bindings {
|
|
|
|
|
color: gray;
|
|
|
|
|
}
|
|
|
|
|
div.debug pre.bindings .value {
|
|
|
|
|
color: green;
|
|
|
|
|
font-weight: bold;
|
|
|
|
|
margin-right: 1em;
|
|
|
|
|
}
|
|
|
|
|
div.debug pre.query span {
|
|
|
|
|
background: rgba(255, 0, 0, 0.05);
|
|
|
|
|
}
|
|
|
|
|
div.debug pre.query span:hover {
|
|
|
|
|
background: white;
|
|
|
|
|
}
|
