Make header more natural. (#10580)

Summary:
Fixed #10381 for blog's navigation bar UI.

Pull Request resolved: https://github.com/facebook/rocksdb/pull/10580

Reviewed By: hx235

Differential Revision: D39079045

Pulled By: cbi42

fbshipit-source-id: 922cf2624f201c0af42815b23d97361fc0151d93
This commit is contained in:
zhangenming 2022-08-26 20:48:18 -07:00 committed by Facebook GitHub Bot
parent 23376aa576
commit d17be55aab

View file

@ -3,7 +3,8 @@
color: $primary-overlay; color: $primary-overlay;
height: $header-height; height: $header-height;
padding: $header-ptop 0 $header-pbot; padding: $header-ptop 0 $header-pbot;
position: fixed; position: sticky;
top: 0;
width: 100%; width: 100%;
z-index: 9999; z-index: 9999;