diff options
Diffstat (limited to 'WebContent/VAADIN')
| -rw-r--r-- | WebContent/VAADIN/themes/base/panel/panel.css | 2 | ||||
| -rw-r--r-- | WebContent/VAADIN/themes/reindeer/panel/panel.css | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/WebContent/VAADIN/themes/base/panel/panel.css b/WebContent/VAADIN/themes/base/panel/panel.css index 126d3da91c..5ef0d91e49 100644 --- a/WebContent/VAADIN/themes/base/panel/panel.css +++ b/WebContent/VAADIN/themes/base/panel/panel.css @@ -30,6 +30,8 @@ } .v-panel-content { overflow: auto; + box-sizing: border-box; + -moz-box-sizing: border-box; } .v-panel-deco { }
\ No newline at end of file diff --git a/WebContent/VAADIN/themes/reindeer/panel/panel.css b/WebContent/VAADIN/themes/reindeer/panel/panel.css index ac0074a9e0..08f130271d 100644 --- a/WebContent/VAADIN/themes/reindeer/panel/panel.css +++ b/WebContent/VAADIN/themes/reindeer/panel/panel.css @@ -35,6 +35,7 @@ .v-panel-content > div { background: #fff; min-height: 100%; + overflow: visible; /* min-height causes problems with borders and paddings if overflow is e.g. hidden */ } .blue .v-panel-deco { border-color: #92a3ac; |