diff options
Diffstat (limited to 'themes/segments.css')
-rw-r--r-- | themes/segments.css | 198 |
1 files changed, 0 insertions, 198 deletions
diff --git a/themes/segments.css b/themes/segments.css deleted file mode 100644 index 9a4a589..0000000 --- a/themes/segments.css +++ /dev/null @@ -1,198 +0,0 @@ - -.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-label { - - color: #ffd200; - - 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; - -} |