1/**
2* The style for the output of the javascript console
3*
4* @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
5* @author     Nicolas GERARD
6*
7* Don't forget to increment the version number in the CONSTANT WEB_CONSOLE_CSS_VERSION of basis.php
8* when the content changes
9*/
10
11body {
12    font-family: Consolas;
13    font-size: 14px;
14    color: #333333;
15}
16
17#webCodeConsole {
18    background-color: #E8E8E8;
19    padding: 10px;
20    margin-bottom: 20px;
21    border: 1px solid #969696;
22    border-radius: 4px;
23}
24
25.webCodeConsoleLine {
26    margin-top: 4px;
27    margin-bottom: 4px;
28}
29
30.webConsoleTitle {
31    padding-left: 10px;
32    margin-bottom: 4px;
33    font-weight: bold;
34}
35
36table>thead>tr>th:first-letter {
37    text-transform:capitalize;
38}
39
40table>tbody>tr:nth-of-type(odd) {
41    background-color: #f9f9f9;
42}
43
44table>tbody>tr:nth-of-type(even) {
45    background-color: #d8d7d7;
46}
47
48td, th {
49    padding: 0.5rem;
50}
51