Added CSS files.

Signed-off-by: Djomanix <johan.kayser@viacesi.fr>

diff --git a/contrib/online_ide/www/css/jquery.terminal.css b/contrib/online_ide/www/css/jquery.terminal.css
new file mode 100644 (file)
index 0000000..6db2df5
--- /dev/null
+++ b/contrib/online_ide/www/css/jquery.terminal.css
@@ -0,0 +1,189 @@
+/*
+ *       __ _____                     ________                              __
+ *      / // _  /__ __ _____ ___ __ _/__  ___/__ ___ ______ __ __  __ ___  / /
+ *  __ / // // // // // _  // _// // / / // _  // _//     // //  \/ // _ \/ /
+ * /  / // // // // // ___// / / // / / // ___// / / / / // // /\  // // / /__
+ * \___//____ \\___//____//_/ _\_  / /_//____//_/ /_/ /_//_//_/ /_/ \__\_\___/
+ *           \/              /____/
+ * http://terminal.jcubic.pl
+ *
+ * Copyright (c) 2011-2014 Jakub Jankiewicz <http://jcubic.pl>
+ *
+ * This file is part of jQuery Terminal.
+ *
+ * jQuery Terminal is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * jQuery Terminal is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with Foobar; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
+ *
+ */
+.terminal .terminal-output .format, .cmd .format,
+.cmd .prompt, .cmd .prompt div, .terminal .terminal-output div div{
+    display: inline-block;
+}
+.cmd .clipboard {
+    position: absolute;
+    bottom: 0;
+    left: 0;
+    /*clip: rect(0,0,0,0);*/
+    /*
+    opacity: 0.01;
+    filter: alpha(opacity = 0.01);
+    filter: progid:DXImageTransform.Microsoft.Alpha(opacity=0.01);
+    */
+    width: 5px;
+    /*
+    outline: none;
+    border: none;
+    background-color: black;
+    */
+}
+/*
+.cmd > .clipboard {
+    position: fixed;
+}
+*/
+.cmd input {
+    height: 1.3em;
+    width: 0.5em;
+    padding: 0;
+    border: none;
+}
+.terminal {
+    padding: 10px;
+    position: relative;
+    overflow: hidden;
+}
+.cmd {
+    padding: 0;
+    margin: 0;
+    height: 1.3em;
+    /*margin-top: 3px; */
+}
+.cmd .cursor.blink {
+    -webkit-animation: blink 1s infinite steps(1, start);
+       -moz-animation: blink 1s infinite steps(1, start);
+        -ms-animation: blink 1s infinite steps(1, start);
+            animation: blink 1s infinite steps(1, start);
+}
+@keyframes blink {
+  0%, 100% {
+        background-color: #000;
+        color: #aaa;
+  }
+  50% {
+        background-color: #bbb; /* not #aaa because it's seem there is Google Chrome bug */
+        color: #000;
+  }
+}
+@-webkit-keyframes blink {
+  0%, 100% {
+        background-color: #000;
+        color: #aaa;
+  }
+  50% {
+        background-color: #bbb;
+        color: #000;
+  }
+}
+@-ms-keyframes blink {
+  0%, 100% {
+        background-color: #000;
+        color: #aaa;
+  }
+  50% {
+        background-color: #bbb;
+        color: #000;
+  }
+}
+@-moz-keyframes blink {
+  0%, 100% {
+        background-color: #000;
+        color: #aaa;
+  }
+  50% {
+        background-color: #bbb;
+        color: #000;
+  }
+}
+.terminal .terminal-output div div, .cmd .prompt {
+    display: block;
+    line-height: 14px;
+    height: auto;
+}
+.cmd .prompt {
+    float: left;
+}
+.terminal, .cmd {
+    font-family: FreeMono, monospace;
+    color: white;
+    background-color: #000;
+    font-size: 12px;
+    line-height: 14px;
+}
+/* Android hack */
+@media screen and (max-device-width: 480px) {
+    .terminal, .cmd {
+        font-family: monospace;
+    }
+}
+.terminal-output > div {
+    /*padding-top: 3px;*/
+    min-height: 14px;
+}
+.terminal .terminal-output div span {
+    display: inline-block;
+}
+.cmd span {
+    float: left;
+    /*display: inline-block; */
+}
+.terminal .inverted, .cmd .inverted, .cmd .cursor.blink {
+    background-color: #aaa;
+    color: #000;
+}
+.terminal .terminal-output div div::-moz-selection,
+.terminal .terminal-output div span::-moz-selection,
+.terminal .terminal-output div div a::-moz-selection {
+    background-color: #aaa;
+    color: #000;
+}
+.terminal .terminal-output div div::selection,
+.terminal .terminal-output div div a::selection,
+.terminal .terminal-output div span::selection,
+.cmd > span::selection,
+.cmd .prompt span::selection {
+    background-color: #aaa;
+    color: #000;
+}
+.terminal .terminal-output div.error, .terminal .terminal-output div.error div {
+    color: red;
+}
+.tilda {
+    position: fixed;
+    top: 0;
+    left: 0;
+    width: 100%;
+    z-index: 1100;
+}
+.clear {
+    clear: both;
+}
+.terminal a {
+    color: #0F60FF;
+}
+.terminal a:hover {
+    color: red;
+}
+textarea.clipboard {
+       visibility: hidden;
+}

diff --git a/contrib/online_ide/www/css/style.css b/contrib/online_ide/www/css/style.css
new file mode 100644 (file)
index 0000000..0716f53
--- /dev/null
+++ b/contrib/online_ide/www/css/style.css
@@ -0,0 +1,73 @@
+body {
+       margin: 0;
+       margin-top: 0px;
+       padding: 0;
+       background-color: #f8f8f8;
+        font-size: 14px;
+       font-family: "Helvetica Neue", Helvetica, Tahoma, sans-serif;
+}
+#pageheader {
+       position: relative;
+       background-color: #292929;
+       color: #6c6c6c;
+       overflow: hidden;
+}
+#pageheader_title {
+       position: relative;
+       width: 125px;
+       height: 19px;
+       background-color: #f8f8f8;
+       padding: 2px;
+       text-align: center;
+       float: left;
+}
+#pageheader_title h1 {
+       margin: 0;
+       font-size: 14px;
+}
+#pageheader_title h1 span {
+       color:#0D8921;
+}
+#navigation {
+       margin: 0 ;
+       padding: 0 ;
+       list-style: none ;
+}
+#navigation li {
+       display: inline;
+       float: left ;
+       width: 125px;
+       height: 19px;
+       padding: 2px;
+       background-color: #f8f8f8;
+       color: #0D8921;
+       font-size: 12px;
+       text-align: center;     
+       border: 1px #0D8921;
+       border-style: none none none dashed;
+}
+#navigation li button{
+       margin-top: -1px;
+}
+#filename {
+       color:#6c6c6c;
+}
+#editor {
+        position: relative;
+        left: 0;
+        width: 100%;
+        height: 460px;
+}
+#terminal
+{
+       position: relative;
+       left: 0;
+       width: 100%;
+       height: 230px;
+       overflow: auto;
+       padding: 0;
+}
+#listener
+{
+       height: 0;
+}