/* 这里定义的css会覆盖外部引入的css文件中的定义，同时会被inline中的css定义。html中不应该再出现style标签。除非你作局部替换(scope)——注意，很多浏览器是不支持的scope。 */

.blocklyWidgetDiv {
  z-index: 9999 !important;
}

.blocklyToolboxDiv {
  z-index: 9999 !important;
}

#tabswitcher > li {
  position: relative;
}

#tabswitcher > li > a {
  display: inline-block;
}

#tabswitcher > li > span {
  display: none;
  cursor: pointer;
  position: absolute;
  right: 6px;
  top: 8px;
  color: red;
}

#tabswitcher > li:hover > span {
  display: inline-block;
}

h1 {
  text-align: center;
}

.terminalcontainer {
  width: 100%;
  height: 600px;
  margin: 50 auto;
  padding: 2px;
  position: relative;
}

/*
.terminalcontainer .terminal {
  background-color: #111;
  color: #fafafa;
  margin: 50 auto;
  padding: 2px;
}

.terminalcontainer .terminal:focus .terminal-cursor {
  background-color: #fafafa;
}
*/