Eldred Habert
3ee22fb430
Apply max width to video as well as images
...
Since videos are essentially animated images, this same max width makes sense for both.
2021-05-23 16:10:26 +02:00
Eric Huss
45d41eac5f
Fix some issues with fragment scrolling and linking.
2021-02-12 16:37:07 -08:00
ThePuzzlemaker
84d848f292
Fix issue where Font Awesome overrides .hidden's display: none
2020-06-10 12:55:22 -05:00
mark
2d63286c63
make part titles bold
2020-05-17 16:53:06 -05:00
mark
5dd2a5bff4
implement support for book parts
2020-05-17 16:53:06 -05:00
Eric Huss
4e8e1e1408
Don't highlight code spans in headers. ( #1162 )
2020-03-24 20:43:20 +01:00
Dylan DPC
fd56a53e76
ui: improve menu folding ( #989 )
...
* ui: improve menu folding
Fold/unfold the menu bar just by the amount of scroll, not by its
full width
* refactor: use a variable for the menu bar height
* Fix menu scroll jittering, remove hover folding smoothness
Rewrite it to use `position:` `sticky` and `relative` instead
of continuous programmatic position changes
On-hover folding-unfolding transition removal is a side-effect
2020-03-06 01:11:37 +01:00
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
