Dylan DPC
ca4b85b815
Increases line height for p, ul & ol ( #1136 )
2020-03-06 01:06:19 +01:00
Rostislav
820714a560
Use only relative font sizes ( #894 )
...
This replaces the only use of px for font-sizes by setting up a base
rem size on the root element in a way that is easy to calculate (1 rem =
10px) and scaling up according to browser settings.
2019-10-27 15:51:32 +01:00
Matthew Woodcraft
86a368b726
Introduce a --menu-bar-height CSS variable
2019-10-26 13:21:26 +01:00
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
