Move docs

Author: apolukhin

annotated.html

@@ -0,0 +1,268 @@
+/* Keep the menu background black */
+.sm-dox {
+    background-image:none;
+    background-color: black;
+    color: white;
+}
+
+.sm-dox ul a,
+.sm-dox ul a:focus,
+.sm-dox ul a:hover,
+.sm-dox ul a:active,
+.sm-dox a,
+.sm-dox a:focus,
+.sm-dox a:hover,
+.sm-dox a:active
+{
+    color: #F7F7F7;
+	  background-color: black;
+    text-shadow:none;
+}
+
+.sm-dox ul {
+    border:none;
+    background: black;
+}
+
+.main-nav-landing {
+    margin-bottom: 75px;
+    margin-top: 7px;
+}
+
+/* Sticky menue */
+@media (min-width: 768px) {
+    .stickyHeader {
+      position: fixed;
+      top: 0;
+      width: 100%;
+    }
+
+    /* Do not cover the anchor text by the sticky menu */
+    html {
+      scroll-padding-top: 75px;
+    }
+
+    .stickySearchResults {
+      position: fixed !important;
+      top: 30px !important;
+    }
+}
+
+/* Too wide page makes people uncomfortable, keep content in center */
+div.contents {
+    max-width: 1200px;
+    margin-left: auto;
+    margin-right: auto;
+}
+
+.title {
+    text-align: center;
+}
+
+/* Do not stick to screen borders */
+div.contents > * {
+    margin-right: 13px;
+    margin-left: 13px;
+    max-width: calc(100% - 13px - 13px);
+}
+
+/* Bigger margins to visually separate titles */
+div.contents > div.textblock > h1 {
+    margin: 38px 0px 10px;
+    font-size: 25px; /* default in insanely huge */
+}
+
+div.contents > div.textblock > h2,
+div.contents > div.textblock > h3,
+div.contents > div.textblock > h4,
+div.contents > div.textblock > h5,
+div.contents > div.textblock > h6 {
+    margin: 38px 0px 10px;
+}
+
+/* Separate two consecutive titles by smaller margins */
+div.contents > div.textblock > h1 + h2,
+div.contents > div.textblock > h2 + h3,
+div.contents > div.textblock > h3 + h4,
+div.contents > div.textblock > h4 + h5,
+div.contents > div.textblock > h5 + h6
+{
+    margin: 15px 0px 10px;
+}
+
+/* Link that looks like text */
+a.titlelink {
+  text-decoration: none;
+  color: inherit;
+}
+
+/* Side navigation */
+.sidenav {
+    float: right;
+    border: 1px solid #FDCC9A;
+    padding: 13px 13px 13px 20px;
+    margin: 13px 13px 13px 20px;
+    max-width: 300px;
+}
+
+.sidenav a {
+  padding-left: 43px;
+  display: block;
+  overflow: hidden;
+}
+
+/* Set svg logo size */
+#projectlogo {
+    width: 80px;
+    padding: 7px;
+}
+
+/* Landing page */
+.landing-logo {
+  width: 45%;
+  margin-left: auto;
+  margin-right: auto;
+  margin-top: 3%;
+  margin-bottom: 6%;
+}
+
+.landing-description {
+    margin: 30px;
+    text-align: center;
+    font-size: 32px;
+    color: #F7F7F7;
+}
+
+.landing-motto {
+    text-align: right;
+    font-size: 28px;
+}
+
+.landing-text {
+    font-size: 18px;
+    line-height: 1.5;
+    margin-top: 25px;
+    margin-bottom: 25px;
+    color: #F7F7F7;
+}
+
+.landing-container {
+    width: 100%;
+    display:  table;
+}
+
+.landing-intro-left {
+    font-size: 18px;
+    line-height: 1.5;
+    margin-top: 60px;
+    margin-right: 60px;
+    margin-bottom: 60px;
+    color: #F7F7F7;
+    width: 35%;
+    float: left;
+    text-align: justify;
+}
+
+.landing-intro-right {
+    font-size: 18px;
+    line-height: 1.5;
+    margin-top: 60px;
+    margin-left: 60px;
+    margin-bottom: 60px;
+    color: #F7F7F7;
+    width: 35%;
+    float: right;
+    text-align: justify;
+}
+
+.landing-intro-center {
+    font-size: 18px;
+    line-height: 1.5;
+    margin-top: 30px;
+    margin-bottom: 30px;
+    margin-left: auto;
+    margin-right: auto;
+    color: #F7F7F7;
+    width: 35%;
+    text-align: center;
+}
+
+.image .landing-logo {
+    text-align: center;
+    font-size: 24px;
+}
+
+/* Set logo background to black */
+#titlearea {
+    background-color: black;
+    color: #F7F7F7;
+}
+
+/* Bigger font for menue */
+#main-nav > ul > li > a {
+    font-size: 18px;
+}
+
+/* More space and scrolling for code snippets */
+div.fragment {
+    padding: 7px;
+    overflow-x: auto;
+}
+
+/* Do not put images in the middle */
+.image not(.landing-logo) {
+    text-align: left;
+}
+
+/* Scale down image to the page width */
+.image img {
+    max-width: calc(100% - 7px - 7px - 1px - 1px);
+    background-color: #FEFCF9; /* matches .fragment */
+    border: 1px solid #FDCC9A; /* matches .fragment */
+    padding: 7px; /* matches .fragment */
+}
+
+/* Almost transparent link that becomes visible on hover */
+.hoverlink {
+    opacity: 0.25;
+    font-size: 80%; /* default in insanely huge */
+}
+
+.hoverlink:hover {
+    opacity: 1.0;
+    text-decoration: none;  /* do not undeline */
+}
+
+/* Enlarge search box */
+#MSearchBox > span {
+    transform: scale(1.3) translateX(-35px);
+}
+
+#MSearchBox > span.right {
+    transform: scale(1.3);
+}
+
+#MSearchSelectWindow {
+    transform: scale(1.3) translate(-35px, 20px);
+}
+
+/* Force examples to have same proportions */
+div.fragment > div.line {
+    line-height: unset;
+    font-size: unset;
+}
+div.fragment > pre {
+    margin-top: 0px;
+    margin-bottom: 0px;
+}
+
+/* Adjust Doxygen highlighting */
+span.keywordtype {
+    color: #008000;
+}
+span.keywordflow {
+    color: #008000;
+}
+span.stringliteral {
+  color: #806000;
+}