diff options
Diffstat (limited to 'media')
| -rw-r--r-- | media/css/trog3.css | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/media/css/trog3.css b/media/css/trog3.css index 3d7ab48..3ab8faa 100644 --- a/media/css/trog3.css +++ b/media/css/trog3.css @@ -608,6 +608,14 @@ margin-top:5px; margin-bottom: 5px;
}
+/* added 2020-04-24 by Philip Sargent
+# to match <code> but inline when documenting systems */
+var {
+ font-family: monospace;
+ font-style: italic;
+ font-size: 0.9em;
+ background-color: #eee;
+}
/*The below are stolen from django admin css*/
.addlink {
|