diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 20:42:14 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 20:42:14 -0700 |
| commit | ed1a0c923823b1372928e3ee3b9e41c1df517fc3 (patch) | |
| tree | 67e9865809d96848ce35f3b01783f69fdc4742be /html-test/ref/GadtConstructorArgs.html | |
| parent | dd45b10d576a50531a4e702e61370c49bb746264 (diff) | |
Fix the synopsis button
Here's these changes are supposed to do:
* put the synopsis back on the right side
* properly have it on the edge of the screen on wide screens
* adjust the background of the synopsis to match the button
(otherwise the grey blends in with what is underneath)
* get rid of the dotted purple line
* the synopsis contents are now scrollable even when in wide
screens (this has been a long-standing bug)
Diffstat (limited to 'html-test/ref/GadtConstructorArgs.html')
0 files changed, 0 insertions, 0 deletions