summaryrefslogtreecommitdiff
path: root/css/codeq.css
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-07-13 17:56:49 +0200
committerAleš Smodiš <aless@guru.si>2015-07-13 17:56:49 +0200
commit5f8015714f94a7d1785cf148c257d3be72d1e6c9 (patch)
treed28b2b6bc0941db81d1dff943408a6339f621a8b /css/codeq.css
Initial commit: bare page for Prolog tasks with editor and command prompt, lightweight task definition parser of pythonic assignment statements.
Diffstat (limited to 'css/codeq.css')
-rw-r--r--css/codeq.css84
1 files changed, 84 insertions, 0 deletions
diff --git a/css/codeq.css b/css/codeq.css
new file mode 100644
index 0000000..15a0e23
--- /dev/null
+++ b/css/codeq.css
@@ -0,0 +1,84 @@
+html {
+ width: 100%;
+ height: 100%;
+ background-color: whitesmoke;
+ padding: 0;
+ margin: 0;
+ border: none;
+}
+
+body {
+ width: 100%;
+ height: 100%;
+ mrgin: 0 auto;
+ padding: 0;
+ border: none;
+ color: black;
+ font-family: Trebuchet MS, Verdana, Tahoma, sans-serif;
+ background-color: red;
+}
+
+#gui {
+ width: 100%;
+ height: 100%;
+}
+
+.block {
+ width: 100%;
+ min-height: 10%;
+ background-color: #ddffdd;
+}
+
+nav {
+ background-color: #e6db74;
+}
+
+nav > ul li {
+ list-style: none;
+ display: inline;
+ padding: 0 10px;
+}
+
+/* console */
+#console {
+ font-size: 14px
+}
+#console div.jquery-console-inner {
+ width:900px;
+ height:200px;
+ background:#333;
+ padding:0.5em;
+ overflow:auto
+}
+#console div.jquery-console-prompt-box {
+ color:#fff;
+ font-family:monospace;
+}
+#console div.jquery-console-focus span.jquery-console-cursor {
+ background:#fefefe;
+ color:#333;
+ font-weight:bold
+}
+#console div.jquery-console-message-error {
+ color:#ef0505;
+ font-family:sans-serif;
+ font-weight:bold;
+ padding:0.1em;
+}
+#console div.jquery-console-message-value {
+ color:#1ad027;
+ font-family:monospace;
+ padding:0.1em;
+}
+#console div.jquery-console-message-type {
+ color:#52666f;
+ font-family:monospace;
+ padding:0.1em;
+}
+#console span.jquery-console-prompt-label {
+ font-weight:bold
+}
+#console div.jquery-console-message {
+ color: #ddffdd;
+ font-family: monospace;
+} \ No newline at end of file