More improvements to the styling

2026-08-02 12:48:14 +00:00 · 2022-01-19 13:34:54 +00:00
parent db08847f9a
commit 6bdb210ad8
2 changed files with 41 additions and 34 deletions
@@ -1,6 +1,6 @@
 /* doc directories */

-table.doc-directory {
+table.`directory {
 	/*border: 1px solid #ccc!important;*/
 	table-layout: fixed;
 	border-collapse: collapse;
@@ -78,6 +78,7 @@ pre.doc-code a.code-procedure {
 .doc-source a {
 	text-decoration: none;
 	color: #666666;
+	font-size: 0.75em;
 }
 .doc-source a:hover {
 	text-decoration: underline;