|
@@ -698,6 +698,7 @@ div.function_name_div_updated:active,
|
|
.global_container .span_value_variable,
|
|
.global_container .span_value_variable,
|
|
.variable_container .span_value_variable {
|
|
.variable_container .span_value_variable {
|
|
font-size: 110%;
|
|
font-size: 110%;
|
|
|
|
+ white-space: pre;
|
|
}
|
|
}
|
|
.global_container .global_type, .global_container .editing_name_var, .global_container .span_value_variable,
|
|
.global_container .global_type, .global_container .editing_name_var, .global_container .span_value_variable,
|
|
.variable_container .variable_type, .variable_container .span_value_variable, .variable_container .editing_name_var,
|
|
.variable_container .variable_type, .variable_container .span_value_variable, .variable_container .editing_name_var,
|
|
@@ -1076,4 +1077,4 @@ div.ui.checkbox.transition.visible {
|
|
|
|
|
|
.pass_button button {
|
|
.pass_button button {
|
|
padding-bottom: 2px;
|
|
padding-bottom: 2px;
|
|
-}
|
|
|
|
|
|
+}
|