diff options
author | 2018-09-18 10:57:13 +0000 | |
---|---|---|
committer | 2018-09-18 10:57:13 +0000 | |
commit | 795b874b98b320fdf7a58d557c53a584d2ba80c5 (patch) | |
tree | b69fb1af3c239475c751a4e2d2097879d762504f /rulemgt-frontend/src/assets/framework/browser/css/prettify.css | |
parent | 153b0f688907ff17929723d0a33c0feb4477913e (diff) | |
parent | 19a11640b3ed8d770fd1cb6f296c4c0e793cdb2a (diff) |
Merge "Changed the Style of GUI"
Diffstat (limited to 'rulemgt-frontend/src/assets/framework/browser/css/prettify.css')
-rw-r--r-- | rulemgt-frontend/src/assets/framework/browser/css/prettify.css | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/rulemgt-frontend/src/assets/framework/browser/css/prettify.css b/rulemgt-frontend/src/assets/framework/browser/css/prettify.css new file mode 100644 index 0000000..16e0caf --- /dev/null +++ b/rulemgt-frontend/src/assets/framework/browser/css/prettify.css @@ -0,0 +1,51 @@ +.pln { color: #000 } /* plain text */ + +@media screen { + .str { color: #080 } /* string content */ + .kwd { color: #008 } /* a keyword */ + .com { color: #800 } /* a comment */ + .typ { color: #606 } /* a type name */ + .lit { color: #066 } /* a literal value */ + /* punctuation, lisp open bracket, lisp close bracket */ + .pun, .opn, .clo { color: #660 } + .tag { color: #008 } /* a markup tag name */ + .atn { color: #606 } /* a markup attribute name */ + .atv { color: #080 } /* a markup attribute value */ + .dec, .var { color: #606 } /* a declaration; a variable name */ + .fun { color: red } /* a function name */ +} + +/* Use higher contrast and text-weight for printable form. */ +@media print, projection { + .str { color: #060 } + .kwd { color: #006; font-weight: bold } + .com { color: #600; font-style: italic } + .typ { color: #404; font-weight: bold } + .lit { color: #044 } + .pun, .opn, .clo { color: #440 } + .tag { color: #006; font-weight: bold } + .atn { color: #404 } + .atv { color: #060 } +} + +pre.prettyprint { + padding: 8px; + background-color: #f7f7f9; + border: 1px solid #e1e1e8; +} +pre.prettyprint.linenums { + -webkit-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0; + -moz-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0; + box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0; +} +ol.linenums { + margin: 0 0 0 33px; /* IE indents via margin-left */ +} +ol.linenums li { + padding-left: 12px; + font-size:12px; + color: #bebec5; + line-height: 18px; + text-shadow: 0 1px 0 #fff; + list-style-type:decimal!important; +} |