Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Path: blob/master/src/packages/frontend/_console.sass
Views: 687
/*1* This file is part of CoCalc: Copyright © 2020 Sagemath, Inc.2* License: MS-RSL – see LICENSE.md for details3*/45.special6color : #f0078.webapp-console9background-color : #eaeaea10padding : 0px11margin : 0px12border : 0px solid black1314.webapp-console-topbar15padding : 0px16margin : 0px17overflow : hidden1819.webapp-console-filename20padding : 10px21font-weight : bold22color : #55523padding-top : 4px24padding-bottom : 02526.webapp-console-title27padding : 10px28font-weight : bold29overflow : hidden30color : #55531max-width : 40%32max-height : 1.5em33padding-top : 4px34padding-bottom : 035padding-right : 50px3637.webapp-console-description38color : #8883940.webapp-console-for-mobile41position : absolute42opacity : 043color : #fff4445.webapp-console-terminal46position : absolute47font-family : droid-sans-mono48padding : 1px49margin : 0px50padding : 5px51white-space : nowrap52flex : 15354.webapp-console-scrollbar55height : 99.5%56overflow-x : hidden57overflow-y : scroll58z-index : 1 /* so terminal text doesn't appear visible when horizontally resizing */5960.webapp-console-cursor-focus61animation : webapp-cursor-blink 1.3s linear 0s infinite62background : #fff63color : #55564border : 1px solid #55565margin : -1px6667@keyframes webapp-cursor-blink680%, 40%69-webkit-filter: invert(1.0)70filter: invert(1.0)7150%, 90%72-webkit-filter: invert(0.0)73filter: invert(0.0)7475.webapp-console-textarea76height : 0px77width : 0px78border : 0px solid white79opacity : 080position : fixed8182.webapp-console-focus83box-shadow : inset 0 0 4px #77b6e884border : 3px solid #77b6e885border-radius : 3px8687/* Please do not delete this rule. If you do, then whenever the console switches between blured and focused, all the88text MOVES, which is very annoying. Proof it is wrong: try changing the chat box in this chatroom between89focused and blurred -- nothing moves.*/90.webapp-console-blur91border : 3px solid lightgrey9293