mirror of
https://github.com/facebook/rocksdb.git
synced 2024-11-29 18:33:58 +00:00
ea9e0757ff
This is the initial commit with the templates necessary to have our RocksDB user documentation hosted on GitHub pages. Ensure you meet requirements here: https://help.github.com/articles/setting-up-your-github-pages-site-locally-with-jekyll/#requirements Then you can run this right now by doing the following: ``` % bundle install % bundle exec jekyll serve --config=_config.yml,_config_local_dev.yml ``` Then go to: http://127.0.0.1:4000/ Obviously, this is just the skeleton. Moving forward we will do these things in separate pull requests: - Replace logos with RocksDB logos - Update the color schemes - Add current information on rocksdb.org to markdown in this infra - Migrate current Wodpress blog to Jekyll and Disqus comments - Etc.
138 lines
2.2 KiB
SCSS
138 lines
2.2 KiB
SCSS
.fixedHeaderContainer {
|
|
background: $primary-bg;
|
|
color: $primary-overlay;
|
|
height: $header-height;
|
|
padding: $header-ptop 0 $header-pbot;
|
|
position: fixed;
|
|
width: 100%;
|
|
z-index: 9999;
|
|
|
|
a {
|
|
align-items: center;
|
|
border: 0;
|
|
color: $primary-overlay;
|
|
display: flex;
|
|
flex-flow: row nowrap;
|
|
height: $header-height;
|
|
}
|
|
|
|
header {
|
|
display: flex;
|
|
flex-flow: row nowrap;
|
|
position: relative;
|
|
text-align: left;
|
|
|
|
img {
|
|
height: 24px;
|
|
margin-right: 10px;
|
|
}
|
|
|
|
h2 {
|
|
display: block;
|
|
font-family: $header-font-family;
|
|
font-weight: 900;
|
|
line-height: 18px;
|
|
position: relative;
|
|
}
|
|
}
|
|
}
|
|
|
|
.navigationFull {
|
|
height: 34px;
|
|
margin-left: auto;
|
|
|
|
nav {
|
|
position: relative;
|
|
|
|
ul {
|
|
display: flex;
|
|
flex-flow: row nowrap;
|
|
margin: 0 -10px;
|
|
|
|
li {
|
|
padding: 0 10px;
|
|
display: block;
|
|
|
|
a {
|
|
border: 0;
|
|
color: $primary-overlay-special;
|
|
font-size: 16px;
|
|
font-weight: 400;
|
|
line-height: 1.2em;
|
|
|
|
&:hover {
|
|
border-bottom: 2px solid $primary-overlay;
|
|
color: $primary-overlay;
|
|
}
|
|
}
|
|
|
|
&.navItemActive {
|
|
a {
|
|
color: $primary-overlay;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
/* 900px
|
|
|
|
|
|
.fixedHeaderContainer {
|
|
.navigationWrapper {
|
|
nav {
|
|
padding: 0 1em;
|
|
position: relative;
|
|
top: -9px;
|
|
|
|
ul {
|
|
margin: 0 -0.4em;
|
|
li {
|
|
display: inline-block;
|
|
|
|
a {
|
|
padding: 14px 0.4em;
|
|
border: 0;
|
|
color: $primary-overlay-special;
|
|
display: inline-block;
|
|
|
|
&:hover {
|
|
color: $primary-overlay;
|
|
}
|
|
}
|
|
|
|
&.navItemActive {
|
|
a {
|
|
color: $primary-overlay;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
&.navigationFull {
|
|
display: inline-block;
|
|
}
|
|
|
|
&.navigationSlider {
|
|
display: none;
|
|
}
|
|
}
|
|
}
|
|
|
|
1200px
|
|
|
|
.fixedHeaderContainer {
|
|
header {
|
|
max-width: 1100px;
|
|
}
|
|
}
|
|
|
|
1500px
|
|
.fixedHeaderContainer {
|
|
header {
|
|
max-width: 1400px;
|
|
}
|
|
}
|
|
*/ |