diff --git a/core/style.css b/core/style.css index 1baef85..2c13eb0 100644 --- a/core/style.css +++ b/core/style.css @@ -179,28 +179,6 @@ body > div.overlay .dialog table:not(.titlebox) { overflow: auto; } -body > div._wdialog[name="history"] { - width: 500px; -} - -body > div._wdialog[name="history"] .history-view { - background: var(--history-background); - padding: 4px; - margin: 4px; - border: 1px solid var(--history-border-color); - overflow: auto; - font-family: monospace; - max-height: 400px; -} - -body > div._wdialog[name="history"] div.wdropdown { - padding: 0px 2px; -} -body > div._wdialog[name="history"] div.wdropdown.active button { padding-bottom: 2px; } -body > div._wdialog[name="history"] button { - width: 100%; -} - .history-view div { border-bottom: 1px dashed var(--history-border-color); white-space: break-spaces; @@ -2405,6 +2383,38 @@ body > ._wdialog table tr th { text-align: left; } +body > div._wdialog[name="history"] { + width: 500px; +} + +body > div._wdialog[name="history"] .history-view { + background: var(--history-background); + padding: 4px; + margin: 4px; + border: 1px solid var(--history-border-color); + overflow: auto; + font-family: monospace; + max-height: 400px; +} + +body > div._wdialog[name="history"] div.wdropdown { + padding: 0px 2px; +} +body > div._wdialog[name="history"] div.wdropdown.active button { padding-bottom: 2px; } +body > div._wdialog[name="history"] button { + width: 100%; +} + +body > div._wdialog[name="tips"] { + width: 200px; +} + +body > div._wdialog[name="tips"] .tiplist { + padding: 2px; + overflow: auto; + max-height: 300px; +} + div.smiley-list { max-height: 200px; overflow-y: scroll;