diff options
Diffstat (limited to 'themes')
-rw-r--r-- | themes/segments.css | 189 |
1 files changed, 189 insertions, 0 deletions
diff --git a/themes/segments.css b/themes/segments.css new file mode 100644 index 0000000..daeac45 --- /dev/null +++ b/themes/segments.css @@ -0,0 +1,189 @@ + +.segment-raw { + + color: #000; + + font-style: normal; + font-weight: normal; + +} + +.segment-comment { + + color: #37b05b; + + font-style: normal; + font-weight: normal; + +} + +.segment-indication { + + color: #828282; + + font-style: italic; + font-weight: normal; + +} + +.segment-phys-addr-padding { + + color: darker(#7c7c7b); + + font-style: normal; + font-weight: normal; + +} + +.segment-phys-addr { + + color: #7c7c7b; + + font-style: normal; + font-weight: normal; + +} + +.segment-virt-addr-padding { + + color: darker(#7c7c7b); + + font-style: normal; + font-weight: normal; + +} + +.segment-virt-addr { + + color: #7c7c7b; + + font-style: normal; + font-weight: normal; + +} + +.segment-raw-code { + + color: #000; + + font-style: normal; + font-weight: normal; + +} + +.segment-instruction { + + color: #bebebe; + + font-style: normal; + font-weight: normal; + +} + +.segment-immediate { + + color: #a020f0; + + font-style: normal; + font-weight: normal; + +} + +.segment-register { + + color: #4141d1; + + font-style: normal; + font-weight: normal; + +} + +.segment-punct { + + color: #000; + + font-style: normal; + font-weight: bold; + +} + +.segment-hooks { + + color: #000; + + font-style: normal; + font-weight: bold; + +} + +.segment-signs { + + color: #000; + + font-style: normal; + font-weight: bold; + +} + +.segment-ltgt { + + color: #000; + + font-style: normal; + font-weight: normal; + +} + +.segment-section { + + color: #c80a0a; + + font-style: normal; + font-weight: normal; + +} + +.segment-segment { + + color: #000; + + font-style: normal; + font-weight: normal; + +} + +.segment-string { + + color: #cc7e00; + + font-style: normal; + font-weight: normal; + +} + +.segment-var-name { + + color: #000; + + font-style: normal; + font-weight: normal; + +} + +.segment-keyword { + + color: #000; + + font-style: normal; + font-weight: normal; + +} + +.segment-error { + + color: #ff0000; + + font-style: normal; + font-weight: bold; + +} |