diff options
author | partouf <partouf@gmail.com> | 2023-10-27 23:09:50 +0200 |
---|---|---|
committer | partouf <partouf@gmail.com> | 2023-10-27 23:09:50 +0200 |
commit | 1d6d30a39d0cc4164b69389a1fc5599fe7d76b16 (patch) | |
tree | bdcd3d74e4fdea4f93bbfbb5d2b235495293d07c | |
parent | b9d5bef8867e4fbe6d15436b6a0a9201e3ee6989 (diff) | |
download | compiler-explorer-gh-9265.tar.gz compiler-explorer-gh-9265.zip |
select stylinggh-9265
-rw-r--r-- | static/styles/explorer.scss | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/static/styles/explorer.scss b/static/styles/explorer.scss index f4c1197b0..6f848b8b9 100644 --- a/static/styles/explorer.scss +++ b/static/styles/explorer.scss @@ -796,6 +796,9 @@ div.populararguments div.dropdown-menu { display: inline-block; min-width: 150px; } +#runtimetools-selection .tool-option-select { + min-width: 100px; +} #runtimetools-selection .tool-fav { float: right; |