2.3.0

Author: quantum-leaps

Spexyfile

@@ -34,13 +34,13 @@
 # Spexygen: Commands
 #---------------------------------------------------------------------------
 ALIASES += \
-"uid{2}=@addindex \1^^@subsection \1 \1^^<span style=\"font-style:italic;font-size:larger;\">\2</span>^^" \
+"uid{2}=<hr>@addindex \1^^@subsection \1 \1^^<span style=\"font-style:italic;font-size:larger;\">\2</span>^^" \
 "uid_litem{1}=@par \1" \
 "uid_bw_trace=@par Backward Traceability" \
 "uid_bw_trace{1}=@par Backward Traceability" \
 "uid_fw_trace=@par Forward Traceability" \
 "uid_fw_trace{1}=@par Forward Traceability (truncated to \1 level(s))" \
-"enduid=<br><hr>" \
+"enduid=<br>" \
 "code_uid{2}=@brief \2" \
 "code_alias{2}=@anchor \1^^@brief <b>\1</b> : \2" \
 "code_litem{1}=@par \1" \
@@ -54,8 +54,8 @@ ALIASES += \
 "postcondition{2}=@par Postcondition `\1:\2`" \
 "invariant{2}=@par Invariant `\1:\2`" \
 "nav{2}=<span class=\"prev_button\">@ref \1</span><span class=\"next_button\">@ref \2</span>" \
-"nav_prev{1}=<span class=\"prev_button\">@ref \1</span>" \
-"nav_next{1}=<span class=\"next_button\">@ref \1</span>" \
+"nav_prev{1}=<span class=\"prev_button\">@ref \1</span><span class=\"next_button\"></span>" \
+"nav_next{1}=<span class=\"prev_button\"></span><span class=\"next_button\">@ref \1</span>" \
 "next{1}=<span class=\"next_button\">@ref \1</span>" \
 "caption{1}=<div class=\"caption\"><center><em>\1</em></center></div>" \
 "webref{2}=<a target=\"_blank\" rel=\"noopener\" href=\"\1\">\2&uarr;</a>" \

spexygen-awesome/doxygen-awesome.css

@@ -724,6 +724,15 @@ html.dark-mode iframe#MSearchResults {
     color: var(--menu-focus-foreground) !important;
 }
 
+#MSearchCloseImg {
+    margin: 0;
+}
+
+.close-icon {
+    width: 22px;
+    height: 22px;
+}
+
 @media screen and (max-width: 767px) {
     #MSearchBox {
         margin-top: var(--spacing-medium);
@@ -783,7 +792,7 @@ html.dark-mode iframe#MSearchResults {
  */
 
 #side-nav, #page-nav {
-    /*padding: 0 !important;*/
+    padding: 0 !important;
     background: var(--side-nav-background);
     min-width: 8px;
     max-width: 50vw;
@@ -825,7 +834,9 @@ ul.page-outline li.vis {
 }
 
 #nav-sync {
-    top: 0 !important;
+    bottom: 12px;
+    right: 12px;
+    top: auto !important;
     user-select: none;
 }