diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 14:23:03 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 14:23:03 +0100 |
| commit | afcfa146122179dc80dd8055314b1381d152fb09 (patch) | |
| tree | 2aa2d930f89fa308d016c92c43395edaacbfcb99 /lambda-calcul/haskell/public/minilang.css | |
| parent | 71fa7dfdc873b014bf1b5b8ea648e803bff67724 (diff) | |
| download | lambda-nantes-afcfa146122179dc80dd8055314b1381d152fb09.tar.gz | |
provide session id to user so they can reconnect
Diffstat (limited to 'lambda-calcul/haskell/public/minilang.css')
| -rw-r--r-- | lambda-calcul/haskell/public/minilang.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/public/minilang.css b/lambda-calcul/haskell/public/minilang.css index 0bfd397..801350d 100644 --- a/lambda-calcul/haskell/public/minilang.css +++ b/lambda-calcul/haskell/public/minilang.css @@ -168,3 +168,9 @@ code { padding: 1pt 2pt; font-family: Inconsolata, Courier; } + +div#session { + width: 80%; + margin: 0em 1em 0em 1em; + padding: .2em; +} |