diff options
| author | vellichora <fangrui_tong@brown.edu> | 2020-01-07 15:08:31 -0500 |
|---|---|---|
| committer | vellichora <fangrui_tong@brown.edu> | 2020-01-07 15:08:31 -0500 |
| commit | e9dcc0f18498d9415d204dfd3e61465a70486374 (patch) | |
| tree | f65522558d39d1a397647bc6bafa4cfc00f18c44 /src/client/util/RichTextMenu.scss | |
| parent | ced3532239c582938271635802e0d2d62703e148 (diff) | |
kind of hack to get selects in richtextmenu to be selectable again
Diffstat (limited to 'src/client/util/RichTextMenu.scss')
| -rw-r--r-- | src/client/util/RichTextMenu.scss | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/client/util/RichTextMenu.scss b/src/client/util/RichTextMenu.scss index 85d2765e3..5a57f4b98 100644 --- a/src/client/util/RichTextMenu.scss +++ b/src/client/util/RichTextMenu.scss @@ -20,6 +20,7 @@ box-shadow: 3px 3px 3px rgba(0, 0, 0, 0.25); min-width: 150px; padding: 5px; + font-size: 12px; button { background-color: #323232; @@ -27,6 +28,7 @@ border-radius: 1px; padding: 6px; margin: 5px 0; + font-size: 12px; &:hover { background-color: black; @@ -78,8 +80,11 @@ select { background-color: #323232; color: white; border: 1px solid black; - border-top: none; - border-bottom: none; + // border-top: none; + // border-bottom: none; + font-size: 12px; + height: 100%; + margin-right: 3px; &:focus, &:hover { |