diff options
| author | Philip Sargent <philip.sargent@gmail.com> | 2025-01-30 20:20:20 +0000 |
|---|---|---|
| committer | Philip Sargent <philip.sargent@gmail.com> | 2025-01-30 20:20:20 +0000 |
| commit | 8073aca5d29d61e1291f8a4d2dba5382c91e0415 (patch) | |
| tree | a457d01087c6dd7538b4d4f7a604cd58f1614276 /media | |
| parent | d275211aa719f6393eeb367f13587a6998a3c26c (diff) | |
| download | troggle-8073aca5d29d61e1291f8a4d2dba5382c91e0415.tar.gz troggle-8073aca5d29d61e1291f8a4d2dba5382c91e0415.tar.bz2 troggle-8073aca5d29d61e1291f8a4d2dba5382c91e0415.zip | |
more to-do
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 {
|