

/* // <weight>: Use a value from 100 to 900
// <uniquifier>: Use a unique and descriptive class name */

.roboto-mono-ade {
  font-family: "Roboto Mono", monospace;
  font-optical-sizing: auto;
  font-weight: 300;
  font-style: normal;
}

body {
    font-family: 'Roboto Mono';
    font-size: 0.9em;
    color: #4b4b4b;
    font-weight: 300;
    /* line-height: 1.1em; */
    padding: 2em;
    padding-top: 0em;
    /* width: 1000px; */
    /* margin-left: 16%;
    margin-right: 16%; */
    background-color: whitesmoke;
}

h1 {
    color: rgb(59, 59, 59);
    text-align: left;
}

div.content {
    /* width: 1000px; */
    margin-left: 20%;
    margin-right: 20%; 
    /* margin-left: auto;
    margin-right: auto; */
    display: flex;
}

div.left {
    flex: 5%;
}

div.right {
    flex: 95%;
    min-width: 600px;
}

div.page_body h2 {
    font-size: x-large;
}

div.page_body h2::before {
    content: "~$: ";
}

div.page_body h3 {
    border-left: 1em solid rgb(140 255 167);
    border-bottom: 0.1em solid rgb(140 255 167);
    padding-left: 0.3em;

}


a:link, a:visited {
    text-decoration: none;
    color: black;
}

a::before {
    content: '[';
}

a::after {
    /* content: ']'; */
    content: '\21B5]';
    /* content: '\2936]'; */
}

a:active, a:hover {
    color: #4b4b4b;
    text-decoration: underline;
}

div.footer, div.header {
    color: grey;
    vertical-align: top;
}

div.footer {
    padding-top: 2em;
}

div.footer a::before, div.footer a::after{
    content: '';
}

div.header_link a:link, div.header_link a:visited {
    text-decoration: none;
    color: grey;
}

div.header_link a::before, div.header_link a::after {
    content: none;
}

div.header {
    padding-bottom: 0em;
    text-align: right;
    padding-top: 45%;
    padding-right: 5%;
    /* position: fixed; */
}



image.header {
    display: inline;
}

div.header h1 {
    color: rgb(16, 0, 163);
    font-size: 4em;
}

div.header a:link, div.header a:visited {
    text-decoration: none;
    color: grey;
}

div.header a::before, div.header a::after {
    content: none;
}

div.header h2 {
    line-height: 0.1em;
    font-size: large;
}

.render_date {
    font-size: 0.9em;
}

.render_date a:link, .render_date a:visited {
    text-decoration: none;
    color: grey;
}

.render_date a::after, .render_date a::before{
    content: '';
}


div.footer img {
    display: inline;
    vertical-align: middle;
}

div.nav_menu {
    /* border-style: dashed; */
    line-height: 1.3em;
    border-width: 0.1em;
    vertical-align: top;
    padding: 0px;
}

div.nav_menu a::after{
    content: ' ]';
}

div.nav_menu a::before{
    content: '[ ';
}

div.deep_menu, deep_menu ul {
    display: inline-block;
    vertical-align: top;
}

li.selected {
    background-color: rgb(140 255 167);
}

div.menu, menu ul {
    display: inline-block;
    vertical-align: top;
}

div.menu ul, div.deep_menu ul {
    list-style: none;
    padding: 0px;
    padding-left: 1em;
}

ul.indexer_node {
    list-style: none;
}

ul.indexer_node a:link {
    /* background-color: rgb(140 255 167); */
    font-size: 1.2em;
    line-height: 2em;
}

ul.indexer_node a:link::before {
    content: 'ls ./';
}

ul.indexer_node a:link::after {
    content: '*';
}

ul.indexer_leaf {
    list-style: none;
}

ul.indexer_leaf a::before, ul.indexer_leaf a::after {
    content: '' !important;
}

ul.indexer_leaf a:link {
    background-color: initial;
    font-size: 1em;
    line-height: 2em;
}

ul.indexer_node span.hex_num {
    color: rgb(80, 80, 80);
    font-size: small;
}

/* ul.indexer_node span.hex_num::before {
    content: '[';
}

ul.indexer_node span.hex_num::after {
    content: ']';
} */

.leaf_link {
    font-size: 1.2em;
    font-weight: bold;
}

.update_str_list {
    color: rgb(180, 180, 180);
    font-size: smaller;
}

.file_size {
    font-size: smaller;
}

.tag_link a {
    text-decoration: none;
    padding: 0.2em;
}

.tag_link a:hover {
    color: black;
    text-decoration: underline;
}

.tag_link a::before {
    content: '#';
}

.tag_link a::after {
    content: '/';
}

/* .tag_link {
    border-style: solid;
    border-radius: 5px;
    border-color: rgb(111, 255, 243);
    background-color: rgb(208, 252, 255);
    border-width: 0.2em;
    padding: 0.2em;
    padding-top: 0.01em;
    padding-bottom: 0.01em;
    margin: 0.5em;
    display: inline-block;
}

.tag_link:hover {
    background-color: rgb(158, 255, 247);
} */

.all_tags {
    margin-top: 2em;
}

.all_tags::before {
    content: 'All tags: ';
}

h2.tagged::before {
    content: 'cat #' !important;
}

h2.tagged::after {
    content: '.tag';
}

div.tag_list {
    padding-left: 0.5em;
}

div.tag_list::before {
    content: '[#] Tags: ';
}

div.quote {
    padding: 1em;
    margin: 1em;
    margin-bottom: 2em;
    border-left: 0.3em solid #4b4b4b;
    font-size: x-large;
}

span.quote_author {
    display: block;
    text-align: right;
    font-size: medium;
    font-weight: 100;
}

span.quote_author::before {
    content: '-';
}

div.publication {
    padding: 1em;
    margin: 1em;
    margin-bottom: 1em;
    border-left: 0.5em solid #4b4b4b;
}

span.publication_title {
    display: block;
    text-align: left;
    font-size: Large;
    font-weight: bold;
}

span.publication_authors {
    display: block;
    text-align: left;
    font-style: italic;
    color: rgb(175, 175, 175);
    font-size: small;
    font-weight: 50;
}

span.publication_where {
    display: block;
    text-align: left;
    font-size: medium;
    font-weight: 100;
}


div.picture {
    display: inline-block;
    background-color: #cccccc;
    padding: 1px;
    margin: 1em;
    text-align: center;
    /* font-style: italic; */
    font-size: x-small;
    line-height: 2em;
    border-radius: 4px;
}

div.picture:hover {
    background-color: rgb(175, 175, 175);
}

div.picture img {
    display: block;
    border-radius: 4px;
}

div.picture a::before, div.picture a::after {
    content: '';
}

pre.code_snippet {
    display: block;
    border-left: 0.3em solid #4b4b4b;
    background-color: #cccccc;
    font-family: monospace;
    padding-top: 0.5em;
}

span.picture_specs {
    color: rgb(111, 111, 111);
    font-style: italic;
    font-size:x-small;
}

div.def {
    padding: 1em;
    margin: 1em;
    margin-bottom: 2em;
    border-left: 0.3em solid #4b4b4b;
    font-size: medium;
}

span.def_name {
    display: block;
    font-size: x-large;
    font-weight: 100;
}

span.git_hash {
    color: grey;
}

span.git_commit_msg {
    font-weight: 800;
}

div.dir_tree {
    line-height: 1.1em;
}

div.news_date {
    color: gray;
    font-size: small;
}

div.news_date::before {
    content: '- Publication date: ';
}

div.inline {
    display: inline-block;
    vertical-align: top;
    margin-right: 10%;
}

.social_icons svg {
    width: 16px;
    height: 16px;
    vertical-align:middle;
    fill: #4b4b4b;
    stroke: #4b4b4b;
}

.social_icons svg:hover {
    fill: black;
    stroke: black;
}

.social_icons a, .social_icons a:hover, .social_icons a:active {
    text-decoration: none;
}

.social_icons_big svg {
    width: 32px;
    height: 32px;
    fill: #4b4b4b;
    stroke: #4b4b4b;
}

.social_icons_big svg:hover {
    fill: black;
    stroke: black;
}

.social_icons_big a, .social_icons_big a:hover, .social_icons_big a:active {
    text-decoration: none;
}

.social_icons_big a::before, .social_icons_big a::after{
    content: '';
}

.header svg {
    fill: #4b4b4b;
    stroke: #4b4b4b;
}

.header svg:hover {
    fill: black;
    stroke: black;
}