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

/*修正bootstrap列布局，取消其左右填充。如果不需要，请注释之。*/
#nav.affix {
  position: fixed;
  top: 0;
  width: 100%;
  z-index: 10;
}

.dropdown-submenu {
  position: relative;
}

.dropdown-submenu>.dropdown-menu {
  top: 0;
  left: 100%;
  margin-top: -6px;
  margin-left: -1px;
  -webkit-border-radius: 0 6px 6px 6px;
  -moz-border-radius: 0 6px 6px;
  border-radius: 0 6px 6px 6px;
}

.dropdown-submenu:hover>.dropdown-menu {
  display: block;
}

.dropdown-submenu>a:after {
  display: block;
  content: " ";
  float: right;
  width: 0;
  height: 0;
  border-color: transparent;
  border-style: solid;
  border-width: 5px 0 5px 5px;
  border-left-color: #ccc;
  margin-top: 5px;
  margin-right: -10px;
}

.dropdown-submenu:hover>a:after {
  border-left-color: #fff;
}

.dropdown-submenu.pull-left {
  float: none;
}

.dropdown-submenu.pull-left>.dropdown-menu {
  left: -100%;
  margin-left: 10px;
  -webkit-border-radius: 6px 0 6px 6px;
  -moz-border-radius: 6px 0 6px 6px;
  border-radius: 6px 0 6px 6px;
}

.CodeMirror {
  border: 1px solid #eee;
  height: 100%;
  width: 100%;
}

.CodeMirror-fullscreen {
  display: block;
  position: fixed;
  top: 54px;
  left: 0;
  width: 100%;
  z-index: 0;
}