| Index: dart/site/try/src/ui.dart
|
| diff --git a/dart/site/try/src/ui.dart b/dart/site/try/src/ui.dart
|
| index 1fefeb8e395b727249a6fb642403599c16387172..d71fddb706f185c409dac5d4656b05db71513e5e 100644
|
| --- a/dart/site/try/src/ui.dart
|
| +++ b/dart/site/try/src/ui.dart
|
| @@ -104,7 +104,7 @@ buildUI() {
|
| buildCode(interaction);
|
|
|
| (mainEditorPane = new DivElement())
|
| - ..classes.addAll(['well', 'mainEditorPane'])
|
| + ..classes.addAll(['mainEditorPane'])
|
| ..style.backgroundColor = currentTheme.background.color
|
| ..style.color = currentTheme.foreground.color
|
| ..style.font = codeFont
|
| @@ -119,7 +119,12 @@ buildUI() {
|
|
|
| var inputWrapper = new DivElement()
|
| ..append(mainEditorPane)
|
| - ..style.position = 'relative';
|
| + ..classes.add('well')
|
| + ..style.padding = '0px'
|
| + ..style.overflowX = 'hidden'
|
| + ..style.overflowY = 'scroll'
|
| + ..style.position = 'relative'
|
| + ..style.maxHeight = '80vh';
|
|
|
| var inputHeader = new DivElement()..appendText('Code');
|
|
|
|
|