diff --git a/_stylesheets/docs.css b/_stylesheets/docs.css index d00e6cc97c..c7a254a3cc 100644 --- a/_stylesheets/docs.css +++ b/_stylesheets/docs.css @@ -19,7 +19,7 @@ nav#main { width: 100%; position: fixed; z-index: 10; - } + } } .navbar.navbar-default.navbar-openshift .navbar-brand.origin { @@ -510,7 +510,7 @@ h2:hover>a.anchor, h2>a.anchor:hover, h3:hover>a.anchor, h3>a.anchor:hover, h4:h /*side toc styling here */ #toc:before { - font-family: "RedHatText",Overpass,"Open Sans",Helvetica,Arial,sans-serif; + font-family: "RedHatText",Overpass,"Open Sans",Helvetica,Arial,sans-serif; content: "TABLE OF CONTENTS"; color: #545454; font-size: 0.82em; @@ -524,6 +524,7 @@ h2:hover>a.anchor, h2>a.anchor:hover, h3:hover>a.anchor, h3>a.anchor:hover, h4:h } #toc { + user-select: none; float: right; padding-top: 0.1em !important; font-size: 0.8em; @@ -771,7 +772,7 @@ h2:hover>a.anchor, h2>a.anchor:hover, h3:hover>a.anchor, h3>a.anchor:hover, h4:h /*side toc styling here */ #toc:before { - font-family: "RedHatText",Overpass,"Open Sans",Helvetica,Arial,sans-serif; + font-family: "RedHatText",Overpass,"Open Sans",Helvetica,Arial,sans-serif; content: "TABLE OF CONTENTS"; color: #545454; font-size: 0.82em;