diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-04 05:49:36 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-04 05:49:36 +0100 |
| commit | b269980bdc57a644edc7510615a1ecaccd2ae057 (patch) | |
| tree | 7822b231428ea6ed15e9117ec7e10300b7bc4e1e /lambda-calcul/haskell/public/minilang.css | |
| parent | 94214ce9a82643a4fa2776ee972636a3d0539a54 (diff) | |
| download | lambda-nantes-b269980bdc57a644edc7510615a1ecaccd2ae057.tar.gz | |
added toplevel page
Diffstat (limited to 'lambda-calcul/haskell/public/minilang.css')
| -rw-r--r-- | lambda-calcul/haskell/public/minilang.css | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/public/minilang.css b/lambda-calcul/haskell/public/minilang.css index 5512efc..2c9e6a1 100644 --- a/lambda-calcul/haskell/public/minilang.css +++ b/lambda-calcul/haskell/public/minilang.css @@ -76,3 +76,28 @@ button#send { font-weight: bold; padding: 5px 10px 5px 10px; } + +h1 { + text-align: center; +} + +div.choice { + display: flex; + align-items: center; + justify-content: center; + flex: wrap; +} + +div.choice a { + display: inline-block; + height: 100px; + line-height: 100px; + text-align: center; + font-size: 2em; + text-decoration: none; + background-color: lightblue; + color: black; + margin: 1em; + border-radius: 10px; + flex: 2 1 250px;; +} |
