##// END OF EJS Templates
Merge pull request #3690 from damianavila/fix_css_html...
Min RK -
r11565:fa276e47 merge
parent child Browse files
Show More
@@ -22,6 +22,7 b' body {'
22 22 }
23 23
24 24 pre {
25 padding: 0.2em;
25 26 border: none;
26 27 margin: 0px;
27 28 font-size: 13px;
@@ -79,7 +79,7 b' font-size: 80%;'
79 79 }
80 80 div.output_prompt {
81 81 /* 5px right shift to account for margin in parent container */
82 margin: 5px 5px 0 -5px;
82 margin: 5px 5px 0 0;
83 83 }
84 84 .rendered_html p {
85 85 text-align: inherit;
General Comments 0
You need to be logged in to leave comments. Login now