Files
Raj Chaudhuri e2db8a25bd Added documentation website content, and a workflow to publish it to GitHub Pages
* Copied, rearranged and modified the contents of the old site directory for Jekyll static site generator, into the website directory
* Added some Jekyll-specific things for looks, including:
  * _config.yaml, Gemfile.* and 404.html files
  * _data, _layouts and assets directories and their content
* Added .github/workflows/github-pages-publish.yml workflow
2024-03-18 20:37:53 +05:30

31 lines
398 B
SCSS

---
---
@import "{{ site.theme }}";
header {
display: flex;
flex-flow: row;
align-items: baseline;
}
header span.sitetitle {
flex-grow: 1;
font-size: 2rem;
font-weight: bolder;
}
header span.sitetitle a:hover {
text-decoration: none;
}
nav {
display: inline-block;
}
nav a {
padding-right: 0.5rem;
}
.container-lg {
max-width: 75%;
margin: 0 auto;
}