diff options
Diffstat (limited to 'docs/api/html/style.css')
| -rw-r--r-- | docs/api/html/style.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/api/html/style.css b/docs/api/html/style.css index 2eeda1f0..437e8601 100644 --- a/docs/api/html/style.css +++ b/docs/api/html/style.css @@ -473,6 +473,7 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: .cs { color: #3D7B7B; font-style: italic } /* Comment.Special */ .gd { color: #A00000 } /* Generic.Deleted */ .ge { font-style: italic } /* Generic.Emph */ +.ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */ .gr { color: #E40000 } /* Generic.Error */ .gh { color: #000080; font-weight: bold } /* Generic.Heading */ .gi { color: #008400 } /* Generic.Inserted */ |