:root {
  --font-stack: "Fira Mono","DejaVu Sans Mono","Inconsolata",monospace;
  --ui-font-stack: "Fira Sans", "Roboto", helvetica, sans-serif;
}

body {
  line-height: 1.3;
  font-family: var(--ui-font-stack);
}

em {
  font-style: italic;
}

#loader {
  position: fixed;
  right: 0;
  bottom: 10px;
  width: calc(50% - 7px);
  height: 100%;
  z-index: 8700;
  background: url('/img/pyret-spin.gif') 50% 30% no-repeat rgba(249, 249, 249, 0.5);
  background-size: 50px 50px;
}

body.hideDefinitions #loader, body.hideDefinitions .replContainer {
  left: -5px;
  width: 100%;
}

body.hideFooter #loader {
  bottom: 0px;
}

body.hideDefinitions .replMain, body.hideDefinitions #handle {
  display: none;
}

#help-keys {
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  z-index: 9999;
  background-color: #ddd;
  border-radius: 5px;
  border: 50px solid rgba(0, 0, 0, 0.7);
  -webkit-background-clip: padding-box; /* for Safari */
  background-clip: padding-box;
  box-sizing: border-box;
  -moz-box-sizing: border-box;
  display: none;
}

#doc-containment{
  position:fixed;
  width: calc(100% - 20px);
  height: calc(100% - 20px);
  margin: 10px;
  z-index:10000;
  pointer-events: none;
  display:none;
}

#doc-overlay{
  position:absolute;
  box-shadow: 0px 0px 5px black;
  height: 80%;
  width: 60%;
  top: 10%;
  left: 30%;
  z-index: 10001;
  border-radius: 2px;
  pointer-events: auto;
}

#doc-cover{
  z-index: 10010;
  position:absolute;
  top: 20px;
  width: 100%;
  height: 100%;
  display: none;
}

#doc-overlay iframe{
  position: absolute;
  top: 20px;
  left: 0;
  width: 100%;
  height: calc(100% - 20px);
  z-index: 10000;
  background-color: #ddd;
}

#doc-bar{
  position: absolute;
  height:20px;
  width: 100%;
  padding: 0px;
  text-align: center;
  top: 0px;
  right: 0px;
  z-index: 10005;
  color: #fff;
  background: #C8C8C8;
  cursor: move;
}

.doc-handle{
  position:absolute;
  z-index: 11000;
}

#doc-left{
  top: 20px;
  left: -5px;
  width:10px;
  height: calc(100% - 25px);
  cursor: ew-resize;
}

#doc-right{
  top: 20px;
  right: -5px;
  width:10px;
  height: calc(100% - 25px);
  cursor: ew-resize;
}
#doc-bottom{
  bottom: -5px;
  right: 5px;
  left: 5px;
  height: 10px;
  width: calc(100% - 10px);
  cursor: ns-resize;
}

#doc-se-corner{
  right:-5px;
  bottom: -5px;
  left:auto;
  width: 10px;
  height: 10px;
  cursor: se-resize;
}

#doc-sw-corner{
  left:-5px;
  bottom: -5px;
  width: 10px;
  height: 10px;
  cursor: sw-resize;
}

#doc-close{
  position:absolute;
  right:0px;
  width: 30px;
  height:20px;
  line-height: 20px;
  font-size: 13px;
  background: rgba(0,0,0,0.3);
  cursor: pointer;
}

#doc-close:hover{
  background: rgba(0,0,0,0.6);
}

#loader p {
  position: relative;
  top: calc(30% + 30px);
  text-align: center;
  width: 100%;
}

#header {
  position: fixed;
  z-index: 9000;
  top: 0;
  width: 100%;
  height: 40px;
  background:#fff;
  box-sizing: border-box;
  -moz-box-sizing: border-box;
  /* box-shadow: 0px 1px 4px rgba(0,0,0,0.3);*/
  border-bottom: 1px solid #ccc;
}

body.hideHeader #header {
  display: none;
}

body.smallHeader #header {
  height: 40px;
}

body.smallHeader #bonniemenu {
  display: none;
}

body.smallHeader #connectButton {
  display: none !important; /* important needed because jquery.show sets this as an inline style */
}

body.smallHeader #insert {
  display: none;
}

.smallHeaderOnly { display: none; }
body.smallHeader .smallHeaderOnly { display: inline; }

#showFilename {
  font-style: italic;
  margin-left: 1em;
  color: rgba(0, 0, 0, 0.5);
}

nav > div {
  width: 100%;
  height: 100%;
}

/*
#header div a {
  width: 100px;
  margin-top: 15px;
  float: left;
  padding-right: 2em;
}

#header a {
  color: #111;
  font-family: var(--ui-font-stack);
}
*/

nav {
  /* height: 100%; */
  padding: 0;
  margin: 0;
}

/*
nav:hover {
  border-left: thin solid red;
}
*/

nav ul a, nav ul button {
  /* width: 100px; */
  /* margin-top: 15px; */
  float: left;
  padding-right: 2em;
}

#detailed-logging-learn-more {
  padding: 0.25em;
  margin-top: -0.25em;
}

nav a, nav button {
  color: #111;
  font-family: var(--ui-font-stack);
}

nav > div > ul {
  display: flex;
  flex-flow: row wrap;
  height: 100%;
  margin: 0;
  padding: 0;
  list-style-type: none;
}

nav > div > ul > li {
  height: 100%;
  margin: 0;
  padding: 0;
  position: relative;
 /* border: thin solid green; */
  list-style-type: none;
}

nav button {
  background: none;
}

nav > div > ul > li  ul {
  position: absolute;
  top: 2.5em;
  margin: 0;
  padding: 0;
  /* aria-hidden: true; */
  display: none;
  list-style-type: none;
}

nav > div > ul > li > ul:not([id="run-dropdown-content"]) {
  left: 0;
}

nav > div > ul > li:focus ul {
  /* aria-hidden: false; */
  display: block;
}

nav > div > ul ul > li {
  /* height: 20px; */
  float: none;
  position: static;
  margin: 0;
  padding: 0;
  /* border: thin solid blue; */
  overflow: hidden;
  list-style-type: none;
}

ul[role="menu"] > li {
  padding: 0;
}

nav > div > ul ul > li > div {
  margin: 0;
  padding: 0;
  /* border: thin solid cyan; */
  overflow: hidden;
}

.menuitemtitle > button {
  padding-left: 1em;
  padding-right: 1em;
  border-top-left-radius: 3px;
  border-top-right-radius: 3px;
}

.menuitemtitle > .blueButton:hover {
  box-shadow: none;
}

.menuButton {
  overflow: hidden;
  margin: 0;
  padding: 0;
}

nav > div > ul ul a, nav > div > ul ul button {
  float: none;
  display: block;
  overflow: hidden;
}

#logo{
  height:100%;
  background: url("/img/pyret-logo.png") 15px 5px no-repeat;
  background-size: 30px 30px;
  display:block;
  float:left;
  width: 60px;
}

li.topTier > div {
  float: none;
}

.logo{
  height: 30px;
  width: 30px;
  display: inline-block;
  padding-left: 10px;
  vertical-align: middle;
}

.menu {
  display: block;
  /* display: inline-block; */
  height: 100%;
  vertical-align: top;
  float:left;  /*latest*/
}

/*
.menu, .menuContents {
  float: none;
}
*/

#toolbar {
  position: fixed;
  z-index: 8000;
  top: 50px;
  height: 0px;
  width: 100%;
  background-color: #111;
}

#footer {
  height: 2.5rem;
  background-color: #111;
  position: fixed;
  bottom: 0;
  width: 100%;
  z-index: 10000;
}

body.hideFooter #footer {
  display: none;
}


.blueButton {
    font-family: var(--ui-font-stack);
    border: none;
    border-radius: 0px;
    color: #333;
    text-align: center;
    transition: box-shadow 0.2s linear, background 0.2s linear;
    font-size: 15px;
    height: 100%;
    padding: 0px 15px;
    vertical-align: middle;
    float:left;
    margin:0px 1px;
    cursor: pointer;
}

.blueButton:hover {
    box-shadow: 0px 0px 1px 1px rgba(0, 0, 0, 0.2);
    background: #e5e5e5;
    color: #000;
}
.blueButton:active {
    background: #999;
}

.blueButton:disabled {
    background-color: red;
    border: none;
    color: rgba(0, 0, 0, 0.26);
    cursor: default;
    box-shadow: none;
}

.lhs {
  float: left;
}

.rhs {
  float: right;
}


h3 {
  font-size: 16pt;
  font-weight: bold;
}

p {
  margin: .5em;
}

ul {
  margin: .5em;
}

ul li{
  padding-top: .5em;
  padding-bottom: .5em;
}

b {
  font-weight: bold;
}

code {
  font-family: var(--font-stack);
}

#shareDialog {

}

.share {
  display: inline-block;
  border: none;
  background-color: #fefefe;
  padding: 10px;
  box-shadow: 0px 3px 5px rgba(0, 0, 0, 0.3);
}

.share {
  padding: 10px;
}

.import-syntax {
  width: auto;
  font-family: var(--font-stack);
}

.ui-tooltip {
  z-index: 15000;
  background: #fff;
}

.ui-tooltip.ui-widget-content {
  background: #fff;
}

.auto-highlight {
  width: 90%;
  border: none;
  /* TODO(joe): Best way to override JQuery modal UI settings? */
  font-family: var(--font-stack) !important;
}

.sharebox {
  border: 1px solid #111;
  padding: 2px;
}

.copy-link {
  text-decoration: none;
  padding-left: 3px;
}

.flexpushright { /* used for the first flex item that's pushed right */
  margin-left: auto;
}

#run-dropdown-content sup {
  font-size: 65%;
  top: -.15em;
  vertical-align: top;
}

.showmenu {
  display: block;
}

.focusable {
/* NOTE(joe): removing these seems natural, though discussion at
 * https://github.com/brownplt/code.pyret.org/commit/5bbfcefcd25cad92e969b3f1d2c6df6a85b55639#r33381324
 * may change this

  margin: 0;
  padding: 0;
*/
}