##// 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 pre {
24 pre {
25 padding: 0.2em;
25 border: none;
26 border: none;
26 margin: 0px;
27 margin: 0px;
27 font-size: 13px;
28 font-size: 13px;
@@ -79,7 +79,7 b' font-size: 80%;'
79 }
79 }
80 div.output_prompt {
80 div.output_prompt {
81 /* 5px right shift to account for margin in parent container */
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 .rendered_html p {
84 .rendered_html p {
85 text-align: inherit;
85 text-align: inherit;
General Comments 0
You need to be logged in to leave comments. Login now