diff --git a/internal.css b/internal.css new file mode 100644 index 0000000..c7a8ee7 --- /dev/null +++ b/internal.css @@ -0,0 +1,61 @@ +body { + background-color: #B6BDBD; + color: #000000; +} + +/* code blocks */ +pre { + margin-left: 20px; + margin-right: 20px; + margin-top: 0px; + background-color: white; + border-style: solid; + border-color: #888A85; + border-width: 1px; + font-size: 11pt; + font-family: monospace; +} +pre.commandLine { + background-color: #2E3436; + color: #C3F097; +} +/* in-line code block */ +span.codeBlockInText{ + background-color: white; + border-color: black; + border-style: solid; + border-width: 1px; + font-size: 11pt; + font-family: monospace; + padding-left: 5px; + padding-right: 5px; +} +/* code highlighting */ +span.structure { + color: #FCAF3E; + font-weight: bold; +} +span.primitive { + color: #729FCF; + font-weight: bold; +} +span.className { + color: #8AE234; + font-weight: bold; +} +span.type { + color: #729FCF; +} +span.value { + color: #C17D11; +} +span.function { + color: #75507B; +} +span.name { + color: #8AE234; +} +span.comment { + color: #888A85; +} +