doc: fix styles in developer's guide (issue #722)

2026-06-30 16:05:41 +02:00 · 2016-05-04 22:16:29 +02:00
parent de24a7cb7b
commit 8c1916c6c2
4 changed files with 1009 additions and 1000 deletions
@@ -19,4 +19,10 @@ h1,h2,h3,h4,h5 {
  line-height: normal;
  font-size: .95em;
 }
+.hex {
+  padding: 0 .2em;
+  border: 1px solid #88b;
+  margin: 0 .2em;
+  font-family: monospace;
+}
 </style>