.special
  color: #f00

.salvus-console
  background-color: #eaeaea
  padding: 0px
  margin: 0px
  width: 100%
  border: 0px solid black

.salvus-console-topbar
  padding: 0px
  margin: 0px
  overflow: hidden

.salvus-console-filename
  padding: 10px
  font-weight: bold
  color: #555
  padding-top: 4px
  padding-bottom: 0

.salvus-console-title
  padding: 10px
  font-weight: bold
  overflow: hidden
  color: #555
  max-width: 40%
  max-height: 1.5em
  padding-top: 4px
  padding-bottom: 0

.salvus-console-description
  color: #888

.salvus-console-for-mobile
  position: absolute
  opacity: 0
  color: #fff

.salvus-console-terminal
  /* font-family: Courier, "Courier New", monospace; */
  font-family: droid-sans-mono
  /* really set in console.coffee, overriding this! */
  padding: 1ex
  margin: 0px
  white-space: nowrap
  /* critical at least for firefox and IE */

.salvus-console-scrollbar
  position: absolute
  right: 0
  width: 10px
  border: none
  overflow-x: hidden
  overflow-y: scroll

.salvus-console-cursor-blur
  border: 1px solid grey
  border-radius: 3px

.salvus-console-cursor-focus
  -webkit-animation: salvus-cursor-blink 1.3s linear 0s infinite
  -moz-animation: salvus-cursor-blink 1.3s linear 0s infinite
  -ms-animation: salvus-cursor-blink 1.3s linear 0s infinite
  -o-animation: salvus-cursor-blink 1.3s linear 0s infinite
  background: #000
  color: #fff
  /* Fallback for browsers without animation support */

@-webkit-keyframes salvus-cursor-blink
  0%, 40%
    background: #000
    color: #fff
  50%, 90%
    background: #fff
    color: #000


@-moz-keyframes salvus-cursor-blink
  0%, 40%
    background: #000
    color: #fff
  50%, 90%
    background: #fff
    color: #000


@-ms-keyframes salvus-cursor-blink
  0%, 40%
    background: #000
    color: #fff
  50%, 90%
    background: #fff
    color: #000


@-o-keyframes salvus-cursor-blink
  0%, 40%
    background: #000
    color: #fff
  50%, 90%
    background: #fff
    color: #000


.salvus-console-textarea
  height: 0px
  width: 0px
  border: 0px solid white
  opacity: 0
  position: fixed
  /*
   *  height:15px; width: 50px; border: 1px solid red;
   */

.salvus-console-focus
  background-color: #ffffe8

.salvus-console-blur
  background-color: #ccc