diff options
| author | JAROWMR <jarorutjes07@gmail.com> | 2024-12-05 21:10:07 +0100 |
|---|---|---|
| committer | JAROWMR <jarorutjes07@gmail.com> | 2024-12-05 21:10:07 +0100 |
| commit | 9604616001ac273f2c966c3c829638e905def7bf (patch) | |
| tree | 7e958c2b658a4dbc9e79068d7309513efa928937 /src/doc/style.css | |
| parent | 018a451051669506be447aa925ecb6a9f5aaf418 (diff) | |
| parent | 1f4e961d7f9d6887c807cac1a362f2d178b0860b (diff) | |
merge with master and keypressed added to game
Diffstat (limited to 'src/doc/style.css')
| -rw-r--r-- | src/doc/style.css | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/doc/style.css b/src/doc/style.css index daabd39..c12240c 100644 --- a/src/doc/style.css +++ b/src/doc/style.css @@ -1,6 +1,6 @@ #titlearea, -address { - display: none; -} +address, +a[href="namespaces.html"] +{ display: none; } h2.groupheader { margin-top: revert; } |