Matthew Woodcraft
|
1dc482b00d
|
Add scroll-margin-top to headings which contain link targets.
This means when the link is followed, the page scrolls in such a way as to
leave space for the fixed menu bar.
Fixes #1040
|
2019-10-26 12:55:12 +01:00 |
|
Benedikt Werner
|
84a2ab0dba
|
Reapply: Move hiding of boring lines into static content (#846) (#1065)
* Move hiding of boring lines into static content (#846)
* Fix test for hidden code
|
2019-10-16 11:27:14 +02:00 |
|
David Omar Flores Chávez
|
d63ef8330d
|
Add !important to code {font-family} property (#1062)
If accepted, this will fix #1061
|
2019-10-11 14:21:13 +02:00 |
|
Dylan DPC
|
2b3304cb8b
|
Revert "Move hiding of boring lines into static content (#846)" (#1064)
This reverts commit 4448f3fc4b.
|
2019-10-10 14:31:55 +02:00 |
|
Adrian Heine né Lang
|
4448f3fc4b
|
Move hiding of boring lines into static content (#846)
|
2019-10-10 13:55:29 +02:00 |
|
Stephan Druskat
|
e880fb6339
|
Fix #823: Apply default padding to table headers
This PR fixes #823 by applying the default padding for table cells (`padding: 3px 20px;`) to header cells.
|
2019-08-09 09:48:56 -07:00 |
|
rnitta
|
a655d5d241
|
Header elements wrap links (#948)
* swap hierarchy of header for that of link
* fix comment
|
2019-06-03 14:31:15 +02:00 |
|
gentoo90
|
3d8db7f25c
|
Disable text selection and CSS transition while resizing sidebar
|
2018-12-12 21:55:50 +02:00 |
|
Matt Ickstadt
|
cc745d04f2
|
Merge css files
|
2018-07-26 13:37:22 -05:00 |
|
Matt Ickstadt
|
d1a23109e2
|
Convert stylus files to CSS
|
2018-07-26 13:37:22 -05:00 |
|