/* Insert here special css for hugo theme, on top of any other imported css */ font-size: 13px !important; padding: 15px !important; #TableOfContents > ul > li > ul > li > ul li { #TableOfContents > ul > li > a { font-weight: bold; padding: 0 18px; margin: 0 2px; #TableOfContents > ul > li > ul > li > a { #TableOfContents > ul > li > ul > li > ul > li > ul > li > ul > li { font-size: 16px !important; color: #323232 !important; #body a.highlight, #body a.highlight:hover, #body a.highlight:focus { #body a.highlight:after { background-color: #0082a7; /*#CE3B2F*/ -webkit-transition: width 0.5s ease; -moz-transition: width 0.5s ease; -ms-transition: width 0.5s ease; transition: width 0.5s ease; #body a.highlight:hover:after, #body a.highlight:focus:after { background-color: rgba(246, 246, 246, 0.97); border: thin solid #ECECEC; border-right: thin solid #DAD8D8 !important; padding-right: 1rem !important; margin-right: 0.5rem !important; border-right: thin solid #DAD8D8 !important; padding-right: 0.5rem !important; margin-right: 1rem !important; display: inline-block !important; padding: 6px 12px !important; margin-bottom: 0 !important; font-size: 14px !important; font-weight: normal !important; line-height: 1.42857143 !important; text-align: center !important; white-space: nowrap !important; vertical-align: middle !important; -ms-touch-action: manipulation !important; touch-action: manipulation !important; cursor: pointer !important; -webkit-user-select: none !important; -moz-user-select: none !important; -ms-user-select: none !important; user-select: none !important; background-image: none !important; border: 1px solid transparent !important; border-radius: 4px !important; -webkit-transition: all 0.15s !important; -moz-transition: all 0.15s !important; transition: all 0.15s !important; outline: 5px auto -webkit-focus-ring-color; outline: none !important; color: #2b2b2b !important; text-decoration: none !important; background-color: #fff !important; border-color: #ccc !important; background-color: #9e9e9e !important; border-color: #9e9e9e !important; background-image: none !important; h2:hover .anchor, h3:hover .anchor, h4:hover .anchor, h5:hover .anchor, h6:hover .anchor { /* Redfines headers style */ h1 a, h2 a, h3 a, h4 a, h5 a, h6 a { line-height: 110% !important; margin: 2.5rem 0 1.5rem 0; line-height: 110% !important; line-height: 110% !important; margin: 1.5rem 0 0.75rem 0; line-height: 110% !important; line-height: 110% !important; margin: 0.5rem 0 0.2rem 0; font-weight: 300 !important; .select-style svg:hover { -webkit-appearance: none; .select-style select:focus { @media only all and (max-width: 47.938em) { #breadcrumbs .links, #top-github-link-text { box-shadow: -1px 2px 5px 1px rgba(0, 0, 0, 0.1);