Show More
@@ -92,7 +92,7 b' div.output_area pre {' | |||
|
92 | 92 | /* This class is for the output subarea inside the output_area and after |
|
93 | 93 | the prompt div. */ |
|
94 | 94 | div.output_subarea { |
|
95 |
padding: @code_padding |
|
|
95 | padding: @code_padding; | |
|
96 | 96 | .box-flex1(); |
|
97 | 97 | } |
|
98 | 98 |
@@ -867,7 +867,7 b' div.output_area pre {' | |||
|
867 | 867 | /* This class is for the output subarea inside the output_area and after |
|
868 | 868 | the prompt div. */ |
|
869 | 869 | div.output_subarea { |
|
870 |
padding: 0.4em |
|
|
870 | padding: 0.4em; | |
|
871 | 871 | /* Old browsers */ |
|
872 | 872 | -webkit-box-flex: 1; |
|
873 | 873 | -moz-box-flex: 1; |
@@ -9491,7 +9491,7 b' div.output_area pre {' | |||
|
9491 | 9491 | /* This class is for the output subarea inside the output_area and after |
|
9492 | 9492 | the prompt div. */ |
|
9493 | 9493 | div.output_subarea { |
|
9494 |
padding: 0.4em |
|
|
9494 | padding: 0.4em; | |
|
9495 | 9495 | /* Old browsers */ |
|
9496 | 9496 | -webkit-box-flex: 1; |
|
9497 | 9497 | -moz-box-flex: 1; |
General Comments 0
You need to be logged in to leave comments.
Login now