From 392e36556bf3e583c0239cab4de394c886533f05 Mon Sep 17 00:00:00 2001 From: Djomanix Date: Fri, 27 Jun 2014 15:58:41 -0400 Subject: [PATCH] Added CSS files. Signed-off-by: Djomanix --- contrib/online_ide/www/css/jquery.terminal.css | 189 ++++++++++++++++++++++++ contrib/online_ide/www/css/style.css | 73 +++++++++ 2 files changed, 262 insertions(+) create mode 100644 contrib/online_ide/www/css/jquery.terminal.css create mode 100644 contrib/online_ide/www/css/style.css diff --git a/contrib/online_ide/www/css/jquery.terminal.css b/contrib/online_ide/www/css/jquery.terminal.css new file mode 100644 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 + * + * 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 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; +} -- 1.7.9.5