diff options
Diffstat (limited to '')
| -rw-r--r-- | frontend/style.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/frontend/style.css b/frontend/style.css index 6edbf60..78be469 100644 --- a/frontend/style.css +++ b/frontend/style.css @@ -337,6 +337,17 @@ table.table-of-courses { width: 100%; } +:disabled { + background: repeating-linear-gradient( + 135deg, + grey, + grey 5px, + dimgrey 5px, + dimgrey 10px + ); +} + + /* * .need-connection is the content that should actually display when we are * connected via WebSocket. The JavaScript would change display from none to |