diff options
Diffstat (limited to 'community/ajaxterm/ajaxterm-css.patch')
-rw-r--r-- | community/ajaxterm/ajaxterm-css.patch | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/community/ajaxterm/ajaxterm-css.patch b/community/ajaxterm/ajaxterm-css.patch deleted file mode 100644 index f062cd5c57..0000000000 --- a/community/ajaxterm/ajaxterm-css.patch +++ /dev/null @@ -1,71 +0,0 @@ -diff --git a/ajaxterm.css b/ajaxterm.css -index b9a5f87..bfa0d38 100644 ---- a/ajaxterm.css -+++ b/ajaxterm.css -@@ -23,7 +23,8 @@ pre.stat .off { - color: white; - cursor: pointer; - } --pre.term { -+#term { -+ float: left; - margin: 0px; - padding: 4px; - display: block; -@@ -33,32 +34,29 @@ pre.term { - border-top: 1px solid white; - color: #eee; - } --pre.term span.f0 { color: #000; } --pre.term span.f1 { color: #b00; } --pre.term span.f2 { color: #0b0; } --pre.term span.f3 { color: #bb0; } --pre.term span.f4 { color: #00b; } --pre.term span.f5 { color: #b0b; } --pre.term span.f6 { color: #0bb; } --pre.term span.f7 { color: #bbb; } --pre.term span.f8 { color: #666; } --pre.term span.f9 { color: #f00; } --pre.term span.f10 { color: #0f0; } --pre.term span.f11 { color: #ff0; } --pre.term span.f12 { color: #00f; } --pre.term span.f13 { color: #f0f; } --pre.term span.f14 { color: #0ff; } --pre.term span.f15 { color: #fff; } --pre.term span.b0 { background-color: #000; } --pre.term span.b1 { background-color: #b00; } --pre.term span.b2 { background-color: #0b0; } --pre.term span.b3 { background-color: #bb0; } --pre.term span.b4 { background-color: #00b; } --pre.term span.b5 { background-color: #b0b; } --pre.term span.b6 { background-color: #0bb; } --pre.term span.b7 { background-color: #bbb; } -+span.f0 { color: #000; } -+span.f1 { color: #b00; } -+span.f2 { color: #0b0; } -+span.f3 { color: #bb0; } -+span.f4 { color: #00b; } -+span.f5 { color: #b0b; } -+span.f6 { color: #0bb; } -+span.f7 { color: #bbb; } -+span.f8 { color: #666; } -+span.f9 { color: #f00; } -+span.f10 { color: #0f0; } -+span.f11 { color: #ff0; } -+span.f12 { color: #00f; } -+span.f13 { color: #f0f; } -+span.f14 { color: #0ff; } -+span.f15 { color: #fff; } -+span.b0 { background-color: #000; } -+span.b1 { background-color: #b00; } -+span.b2 { background-color: #0b0; } -+span.b3 { background-color: #bb0; } -+span.b4 { background-color: #00b; } -+span.b5 { background-color: #b0b; } -+span.b6 { background-color: #0bb; } -+span.b7 { background-color: #bbb; } - - body { background-color: #888; } --#term { -- float: left; --} |