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