console_style.css — 3.7 KB
Dateiinhalt
/* a:link {color:OrangeRed;} a:visited {color:#AABBDD;} a:hover {color:#E08000;} a:active {color:#0000FF;} html, body { background-color: #333; color: white; font-family: monospace; margin: 0; padding: 0; } */ /* NEU eingefuegt - div ersetzt iframe */ div.frame{ background-color: #333; color: white; font-family: monospace; height: 450px; width: 560px; padding: 5px 0 0 0; margin: auto; } /* The console container element */ #console { height: 400px; width: 500px; position:relative; background-color: black; border: 2px solid #CCC; margin: 0 auto; margin-top: 15px; } /* The inner console element. */ .jqconsole { padding: 10px; } /* NEU eingefuegt */ pre.jqconsole { padding-left: 20px; background-color: black; color: white; border: none; font-family: New Courier, Courier, monospace ; font-size: 0.72em; line-height: 1.1em; } /* The cursor. */ .jqconsole-cursor { background-color: gray; } /* The cursor color when the console looses focus. */ .jqconsole-blurred .jqconsole-cursor { background-color: #666; } /* The current prompt text color */ .jqconsole-prompt { color: #0d0; } /* The command history */ .jqconsole-old-prompt { color: #0b0; font-weight: normal; } /* The text color when in input mode. */ .jqconsole-input { color: #dd0; } /* Previously entered input. */ .jqconsole-old-input { color: #bb0; font-weight: normal; } /* The text color of the output. */ .jqconsole-output { color: white; } /* The text color of the output. */ .jqconsole-error { color: OrangeRed; } .jqconsole-header { color: OrangeRed; } .jqconsole-ansi-color-cyan { color: cyan; } .jqconsole-ansi-color-white { color: white; } @-webkit-keyframes blinker { from { opacity: 1.0; } to { opacity: 0.0; } } @-moz-keyframes blinker { from { opacity: 1.0; } to { opacity: 0.0; } } @-ms-keyframes blinker { from { opacity: 1.0; } to { opacity: 0.0; } } @-o-keyframes blinker { from { opacity: 1.0; } to { opacity: 0.0; } } .jqconsole-ansi-blink { -webkit-animation-name: blinker; -moz-animation-name: blinker; -ms-animation-name: blinker; -o-animation-name: blinker; -webkit-animation-iteration-count: infinite; -moz-animation-iteration-count: infinite; -ms-animation-iteration-count: infinite; -o-animation-iteration-count: infinite; -webkit-animation-timing-function: cubic-bezier(1.0,0,0,1.0); -ms-animation-timing-function: cubic-bezier(1.0,0,0,1.0); -o-animation-timing-function: cubic-bezier(1.0,0,0,1.0); -moz-animation-timing-function: cubic-bezier(1.0,0,0,1.0); -webkit-animation-duration: 1s; -moz-animation-duration: 1s; -o-animation-duration: 1s; -ms-animation-duration: 1s; }