inweb-bootstrap/docs/docs-assets/ConsoleText-Colours.css

34 lines
1.3 KiB
CSS
Raw Normal View History

2020-04-21 23:52:25 +00:00
/* The following correspond to the Inweb colours !definition, ..., !comment: */
2020-04-21 16:55:17 +00:00
2020-04-21 23:52:25 +00:00
span.ConsoleText-definition-syntax { color: #444444; }
span.ConsoleText-function-syntax { color: #80FF80; }
span.ConsoleText-identifier-syntax { color: #8080FF; }
span.ConsoleText-element-syntax { color: #ADFF2F; }
span.ConsoleText-reserved-syntax { color: #600000; }
span.ConsoleText-string-syntax { color: #408040; }
span.ConsoleText-character-syntax { color: #204020; }
span.ConsoleText-constant-syntax { color: #204020; }
span.ConsoleText-plain-syntax { color: #ffffff; }
span.ConsoleText-extract-syntax { color: #444444; }
span.ConsoleText-comment-syntax { color: #404040; font-style:italic; }
/* This is used for the "define" or "enum" keyword on Inweb-defined constants: */
2020-04-21 16:55:17 +00:00
span.ConsoleText-definition-keyword { color:#801010; font-weight:bold; }
2020-04-21 23:52:25 +00:00
/* These are for the angle-bracketed paragraph names: */
2020-04-24 23:06:02 +00:00
span.ConsoleText-named-paragraph, span.ConsoleText-named-paragraph-defn { color: #000000; }
span.ConsoleText-named-paragraph-number { color: #000000; font-size: 80%; font-style:italic; }
span.ConsoleText-named-paragraph-container {
background: #e8e8f8; border: 1px solid #888888;
}
2020-04-21 16:55:17 +00:00
2020-04-21 23:52:25 +00:00
/* This is the box into which multi-line stretches of code are put: */
2020-04-21 16:55:17 +00:00
pre.ConsoleText-displayed-code {
background: #222222;
2020-04-24 23:06:02 +00:00
border: 1px solid #008000;
2020-04-21 16:55:17 +00:00
}