##// END OF EJS Templates
some css fixes due to pygment highlighter...
Matthias BUSSONNIER -
Show More
@@ -18,7 +18,13 b' body {'
18 padding: 8px;
18 padding: 8px;
19 }
19 }
20 .input_area {
20 .input_area {
21 padding: 0.4em;
21 padding: 0.2em;
22 }
23
24 pre {
25 border: none;
26 margin: 0px;
27 font-size: 13px;
22 }
28 }
23 </style>
29 </style>
24
30
General Comments 0
You need to be logged in to leave comments. Login now