diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-06-24 17:00:09 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-06-25 09:04:50 +0000 |
| commit | 334b7c2855d1d62b1eda7dfac4f5a3c6df0bac11 (patch) | |
| tree | d02a54b84ad9ca5a61ac306f3010c0fc62857755 /pkg/html | |
| parent | 215eef4ad85fb6124af70d1e5c9729b69554a32b (diff) | |
dashboard: support manual reproduction requests
As it is problematic to set up automatic bidirectional sharing of
reproducer files between namespaces, let's support the ability to
manually request a reproduction attempt on a specific syz-manager
instance. That should help in the time being.
Diffstat (limited to 'pkg/html')
| -rw-r--r-- | pkg/html/pages/style.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkg/html/pages/style.css b/pkg/html/pages/style.css index 9ec565616..60e523ffa 100644 --- a/pkg/html/pages/style.css +++ b/pkg/html/pages/style.css @@ -354,6 +354,11 @@ aside { margin-bottom: 7px; } +.input-values textarea { + width: 750pt; + height: 250pt; +} + .input-group { margin-top: 7px; margin-bottom: 7px; |