GP-3170 - Updates to fix clients of languages.css

This commit is contained in:
dragonmacher
2023-03-06 15:56:44 -05:00
parent 8da66186da
commit 84521c6f09
4 changed files with 99 additions and 9 deletions
@@ -15,12 +15,11 @@
*/
/*
This file contains non-Ghidra style sheet markup. This file will be loaded in addition to
FrontPage.css.
DefaultStyle.css.
*/
h5 { margin-left: 10px; }
div.informalexample { margin-left: 50px; }
div.example-contents { margin-left: 50px; }
div.informalexample { margin-left: 50px; margin-top: 10px; }
dd { margin-bottom: 20px; }
dd p { margin-top: 5px; margin-left: 10px; }
span.term { font-family:times new roman; font-size:14pt; font-weight:bold; }
span.code { font-weight: bold; font-family: courier new; font-size: 14pt; color:#000000; }
span.redtext { color:#CC0033; }