From 3169a02cfa51343d39ed8edc3647b229c0d0ac10 Mon Sep 17 00:00:00 2001 From: "rickg%netscape.com" Date: Sat, 16 Oct 1999 18:22:24 +0000 Subject: [PATCH] WIP bug13536; r=peterl; this code is not used yet git-svn-id: svn://10.0.0.236/trunk@50926 18797224-902f-48f8-a5cc-f745e15eee43 --- mozilla/layout/html/document/src/html.css | 25 +++++++++++++---------- mozilla/layout/style/html.css | 25 +++++++++++++---------- 2 files changed, 28 insertions(+), 22 deletions(-) diff --git a/mozilla/layout/html/document/src/html.css b/mozilla/layout/html/document/src/html.css index 3790ec5d888..af30b29904b 100644 --- a/mozilla/layout/html/document/src/html.css +++ b/mozilla/layout/html/document/src/html.css @@ -1509,30 +1509,33 @@ select[-moz-dropdown-active]:-moz-dropdown-list { } + + /* The following namespace if for use with viewsource */ viewsource|key {font-weight:bold;} viewsource|key:before {content: " "; color: black;} -viewsource|key:after {content: "="; color: black;} + viewsource|val {color: blue; font-weight:normal;} +viewsource|val:before {content: "="; color: black;} -viewsource|entity {color: maroon; font-weight:normal;} +viewsource|entity {color: maroon; font-weight:normal;} -viewsource|comment {color: green; font-style:italic; } +viewsource|comment {color: green; font-style:italic; } viewsource|doctype {color: green; font-style:italic;} -viewsource|pi {color: #D74702; font-style:italic;} +viewsource|pi {color: #D74702; font-style:italic;} -viewsource|starttag {color: purple; font-weight:bold;} -viewsource|starttag:before {content: "<"; color: black;} -viewsource|starttag:after {content: ">"; color: black;} +viewsource|start {color: purple; font-weight:bold;} +viewsource|start:before {content: "<"; color: black;} +viewsource|start:after {content: ">"; color: black;} -viewsource|endtag {color: purple; font-weight:bold;} -viewsource|endtag:before {content: ""; color: black;} +viewsource|end {color: purple; font-weight:bold;} +viewsource|end:before {content: ""; color: black;} viewsource|viewsource { font-family: monospace; font-weight:normal; color:black; white-space:pre;} -viewsource|text {font-weight: normal; } +viewsource|txt {font-weight: normal; } diff --git a/mozilla/layout/style/html.css b/mozilla/layout/style/html.css index 3790ec5d888..af30b29904b 100644 --- a/mozilla/layout/style/html.css +++ b/mozilla/layout/style/html.css @@ -1509,30 +1509,33 @@ select[-moz-dropdown-active]:-moz-dropdown-list { } + + /* The following namespace if for use with viewsource */ viewsource|key {font-weight:bold;} viewsource|key:before {content: " "; color: black;} -viewsource|key:after {content: "="; color: black;} + viewsource|val {color: blue; font-weight:normal;} +viewsource|val:before {content: "="; color: black;} -viewsource|entity {color: maroon; font-weight:normal;} +viewsource|entity {color: maroon; font-weight:normal;} -viewsource|comment {color: green; font-style:italic; } +viewsource|comment {color: green; font-style:italic; } viewsource|doctype {color: green; font-style:italic;} -viewsource|pi {color: #D74702; font-style:italic;} +viewsource|pi {color: #D74702; font-style:italic;} -viewsource|starttag {color: purple; font-weight:bold;} -viewsource|starttag:before {content: "<"; color: black;} -viewsource|starttag:after {content: ">"; color: black;} +viewsource|start {color: purple; font-weight:bold;} +viewsource|start:before {content: "<"; color: black;} +viewsource|start:after {content: ">"; color: black;} -viewsource|endtag {color: purple; font-weight:bold;} -viewsource|endtag:before {content: ""; color: black;} +viewsource|end {color: purple; font-weight:bold;} +viewsource|end:before {content: ""; color: black;} viewsource|viewsource { font-family: monospace; font-weight:normal; color:black; white-space:pre;} -viewsource|text {font-weight: normal; } +viewsource|txt {font-weight: normal; }