/* BASICS */

.CodeMirror {
  /* Set height, width, borders, and global font properties here */
  font-family: monospace;
  height: auto;
}
.CodeMirror-scroll {
  /* Set scrolling behaviour here */
  overflow-y: hidden;
  overflow-x: auto;
}

/* PADDING */

.CodeMirror-lines {
  padding: 4px 0; /* Vertical padding around content */
}
.CodeMirror pre {
  padding: 0 4px; /* Horizontal padding of content */
}

.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
  background-color: white; /* The little square between H and V scrollbars */
}

/* GUTTER */

.CodeMirror-gutters {
  border-right: 1px solid #ddd;
  background-color: #f7f7f7;
  white-space: nowrap;
}
.CodeMirror-linenumbers {}
.CodeMirror-linenumber {
  padding: 0 3px 0 5px;
  min-width: 20px;
  text-align: right;
  color: #999;
}

/* CURSOR */

.CodeMirror div.CodeMirror-cursor {
  border-left: 1px solid black;
  z-index: 3;
}
/* Shown when moving in bi-directional text */
.CodeMirror div.CodeMirror-secondarycursor {
  border-left: 1px solid silver;
}
.CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor {
  width: auto;
  border: 0;
  background: #7e7;
  z-index: 1;
}
/* Can style cursor different in overwrite (non-insert) mode */
.CodeMirror div.CodeMirror-cursor.CodeMirror-overwrite {}

.cm-tab { display: inline-block; }

/* DEFAULT THEME */

.cm-s-default .cm-keyword {color: #ff7700;}
.cm-s-default .cm-atom {color: #219;}
.cm-s-default .cm-number {color: #000000;}
.cm-s-default .cm-def {color: #00f;}
.cm-s-default .cm-variable {color: black;}
.cm-s-default .cm-variable-2 {color: #05a;}
.cm-s-default .cm-variable-3 {color: #085;}
.cm-s-default .cm-property {color: black;}
.cm-s-default .cm-operator {color: black;}
.cm-s-default .cm-comment {color: #dd0000;}
.cm-s-default .cm-string {color: #00aa00;}
.cm-s-default .cm-string-2 {color: #f50;}
.cm-s-default .cm-meta {color: #555;}
.cm-s-default .cm-qualifier {color: #555;}
.cm-s-default .cm-builtin {color: #900090;}
.cm-s-default .cm-bracket {color: #997;}
.cm-s-default .cm-tag {color: #170;}
.cm-s-default .cm-attribute {color: #00c;}
.cm-s-default .cm-header {color: blue;}
.cm-s-default .cm-quote {color: #090;}
.cm-s-default .cm-hr {color: #999;}
.cm-s-default .cm-link {color: #00c;}

.cm-negative {color: #d44;}
.cm-positive {color: #292;}
.cm-header, .cm-strong {font-weight: bold;}
.cm-em {font-style: italic;}
.cm-link {text-decoration: underline;}

.cm-s-default .cm-error {color: #f00;}
.cm-invalidchar {color: #f00;}

div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
.CodeMirror-activeline-background {background: #e8f2ff;}

/* STOP */

/* The rest of this file contains styles related to the mechanics of
   the editor. You probably shouldn't touch them. */

.CodeMirror {
  line-height: 1;
  position: relative;
  overflow: hidden;
  background: white;
  color: black;
}

.CodeMirror-scroll {
  /* 30px is the magic margin used to hide the element's real scrollbars */
  /* See overflow: hidden in .CodeMirror */
  margin-bottom: -30px; margin-right: -30px;
  padding-bottom: 30px; padding-right: 30px;
  height: 100%;
  outline: none; /* Prevent dragging from highlighting the element */
  position: relative;
  -moz-box-sizing: content-box;
  box-sizing: content-box;
}
.CodeMirror-sizer {
  position: relative;
}

/* The fake, visible scrollbars. Used to force redraw during scrolling
   before actuall scrolling happens, thus preventing shaking and
   flickering artifacts. */
.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
  position: absolute;
  z-index: 6;
  display: none;
}
.CodeMirror-vscrollbar {
  right: 0; top: 0;
  overflow-x: hidden;
  overflow-y: scroll;
}
.CodeMirror-hscrollbar {
  bottom: 0; left: 0;
  overflow-y: hidden;
  overflow-x: scroll;
}
.CodeMirror-scrollbar-filler {
  right: 0; bottom: 0;
}
.CodeMirror-gutter-filler {
  left: 0; bottom: 0;
}

.CodeMirror-gutters {
  position: absolute; left: 0; top: 0;
  padding-bottom: 30px;
  z-index: 3;
}
.CodeMirror-gutter {
  white-space: normal;
  height: 100%;
  -moz-box-sizing: content-box;
  box-sizing: content-box;
  padding-bottom: 30px;
  margin-bottom: -32px;
  display: inline-block;
  /* Hack to make IE7 behave */
  *zoom:1;
  *display:inline;
}
.CodeMirror-gutter-elt {
  position: absolute;
  cursor: default;
  z-index: 4;
}

.CodeMirror-lines {
  cursor: text;
}
.CodeMirror pre {
  /* Reset some styles that the rest of the page might have set */
  -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
  border-width: 0;
  background: transparent;
  font-family: inherit;
  font-size: inherit;
  margin: 0;
  white-space: pre;
  word-wrap: normal;
  line-height: inherit;
  color: inherit;
  z-index: 2;
  position: relative;
  overflow: visible;
}
.CodeMirror-wrap pre {
  word-wrap: break-word;
  white-space: pre-wrap;
  word-break: normal;
}
.CodeMirror-code pre {
  border-right: 30px solid transparent;
  width: -webkit-fit-content;
  width: -moz-fit-content;
  width: fit-content;
}
.CodeMirror-wrap .CodeMirror-code pre {
  border-right: none;
  width: auto;
}
.CodeMirror-linebackground {
  position: absolute;
  left: 0; right: 0; top: 0; bottom: 0;
  z-index: 0;
}

.CodeMirror-linewidget {
  position: relative;
  z-index: 2;
  overflow: auto;
}

.CodeMirror-widget {}

.CodeMirror-wrap .CodeMirror-scroll {
  overflow-x: hidden;
}

.CodeMirror-measure {
  position: absolute;
  width: 100%;
  height: 0;
  overflow: hidden;
  visibility: hidden;
}
.CodeMirror-measure pre { position: static; }

.CodeMirror div.CodeMirror-cursor {
  position: absolute;
  visibility: hidden;
  border-right: none;
  width: 0;
}
.CodeMirror-focused div.CodeMirror-cursor {
  visibility: visible;
}

.CodeMirror-selected { background: #d9d9d9; }
.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }

.cm-searching {
  background: #ffa;
  background: rgba(255, 255, 0, .4);
}

/* IE7 hack to prevent it from returning funny offsetTops on the spans */
.CodeMirror span { *vertical-align: text-bottom; }

@media print {
  /* Hide the cursor when printing */
  .CodeMirror div.CodeMirror-cursor {
    visibility: hidden;
  }
}

.error {
  background-color: #fdd;
}

#tab-grader .pywindow, #tab-homework .pywindow {
/*    background-color: #c5f0e5;*/
/*  background-color: #eefaf8;*/
/*  padding: 10px 15px 15px 15px;*/
/*  margin: 5px 0px 5px 0px;*/
/*  border-radius: 15px*/
}

.pywindow .CodeMirror {
	border: 2px solid #ccc;
	border-radius: 4px;
}

.pywindow > pre, .pywindow .error pre {
    font-family: 'Consolas', 'Deja Vu Sans Mono',
                 'Bitstream Vera Sans Mono', monospace;
/*    font-size: 0.95em;*/
    letter-spacing: 0.015em;
    line-height: 120%;
/*    border: 1px solid #ccc;*/
/*    background-color: #f8f8f8;*/
    display: block;
    padding: 9.5px;
    margin: 5px 0 10px;
    font-size: 13px;
/*    line-height: 1.428571429;*/
    color: #333;
/*    word-break: break-all;*/
/*    word-wrap: break-word;*/
    background-color: #f5f5f5;
    border: 1px solid #ccc;
    border-radius: 4px;
	min-height: 20px;
/*	max-height: 500px;*/
	resize: vertical;
	overflow: auto;
}

.pywindow > pre a, .pywindow .error pre a {
    color: inherit;
    text-decoration: underline;
}

.pywindow .btn {
    display: inline-block;
    padding: 6px 12px;
	margin:5px 0px;
/*    margin-bottom: 0;*/
    font-size: 14px;
    font-weight: normal;
    line-height: 1.428571429;
    text-align: center;
    white-space: nowrap;
    vertical-align: middle;
    cursor: pointer;
    border: 1px solid transparent;
    border-radius: 4px;
    -webkit-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    -o-user-select: none;
    user-select: none;
    margin: 5px 0;
    font-size: 1em;
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
}

.pywindow .btn:focus {
    outline: 0px;
/*    outline: thin dotted #333;
    outline: 5px auto -webkit-focus-ring-color;*/
    outline-offset: -2px
}

.btn:hover, .btn:focus {
    color: #333;
    text-decoration: none
}

.btn:active, .btn.active {
    background-image: none;
    outline: 0px;
    -webkit-box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
    box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125)
}

.btn.disabled, .btn[disabled], fieldset[disabled] .btn {
    pointer-events: none;
    cursor: not-allowed;
    opacity: .65;
    filter: alpha(opacity=65);
    -webkit-box-shadow: none;
    box-shadow: none
}

.btn-run {
    color: #fff;
    background-color: #5cb85c;
    border-color: #4cae4c
}

.btn-run:hover, .btn-run:focus, .btn-run:active, .btn-run.active {
    color: #fff;
    background-color: #47a447;
    border-color: #398439
}

.btn-run:active, .btn-run.active {
    background-image: none
}

.btn-run.disabled, .btn-run[disabled], fieldset[disabled] .btn-run,
.btn-run.disabled:hover, .btn-run[disabled]:hover, fieldset[disabled] .btn-run:hover,
.btn-run.disabled:focus, .btn-run[disabled]:focus, fieldset[disabled] .btn-run:focus,
.btn-run.disabled:active, .btn-run[disabled]:active, fieldset[disabled] .btn-run:active,
.btn-run.disabled.active, .btn-run[disabled].active, fieldset[disabled] .btn-run.active {
    background-color: #5cb85c;
    border-color: #4cae4c
}


.btn-reset {
    color: #fff;
    background-color: #ed9c28;
    border-color: #d58512
}
/*background-color: #f0ad4e;
border-color: #eea236
*/
.btn-reset:hover, .btn-reset:focus, .btn-reset:active, .btn-reset.active {
    color: #fff;
    background-color: #ea8b02;
    border-color: #bc6800
}

.btn-reset:active, .btn-reset.active {
    background-image: none
}

.btn-reset.disabled, .btn-reset[disabled], fieldset[disabled] .btn-reset,
.btn-reset.disabled:hover, .btn-reset[disabled]:hover, fieldset[disabled] .btn-reset:hover,
.btn-reset.disabled:focus, .btn-reset[disabled]:focus, fieldset[disabled] .btn-reset:focus,
.btn-reset.disabled:active, .btn-reset[disabled]:active, fieldset[disabled] .btn-reset:active,
.btn-reset.disabled.active, .btn-reset[disabled].active, fieldset[disabled] .btn-reset.active {
    background-color: #f0ad4e;
    border-color: #eea236
}

.pywindow .alert {
    padding: 15px;
    margin-bottom: 15px;
    border: 1px solid transparent;
    border-radius: 4px;
    color: #333;
    background-color: #f2dede;
    border-color: #eed3d7;
}
.pywindow .alert h3 {
	text-align: left;
}
.pywindow .alert p {
	margin: 10px 0px 20px;
}
.pywindow .alert pre {
	margin: 10px 0px 20px;
}

.pywindow canvas {
	border: 2px solid #777;
}

.pywindow .ac-files-hidden {
	display: none;
}


.pywindow .pywindow-file-table-holder {
	border:1px solid black; 
	border-radius:6px; 
	background-color: #fff;
	display: inline-block;
	margin-left: auto;
	margin-right: auto;
}
.pywindow .pywindow-file-table {
	margin-bottom: 7px;
}
.pywindow .pywindow-file-table tr:nth-of-type(even) {
	background-color: #eee;
}
.pywindow .pywindow-file-table th {
	padding: 5px;
}
.pywindow .pywindow-file-table td {
	padding: 5px;
}
.pywindow .pywindow-file-table td:nth-of-type(2) {
	min-width: 100px;
}
.pywindow .pywindow-file-table td img{
	float: right;
}
.pywindow .pywindow-file-table td a{
	float: right;
}


.pywindow-readonly .CodeMirror-gutters {
    background-color: #eaeaea;
}
.pywindow-readonly .CodeMirror {
    background-color: #f2f2f2;
}

.pywindow .pywindow-btn-small {
	padding: 0px 3px;
	margin: 0px;
}


.pywindow-file-preview-modal {
	position: fixed;
	width: 650px;
	left: 50%;
	margin-left: -325px;
	height: 500px;
	top: 50%;
	margin-top: -250px;
	
	border-radius: 7px;
/*	border:none;*/
	border: 3px solid #888;
/*	border-right: none;*/
/*	border-left: 3px solid #888;*/
/*	border-top: 3px solid #888;*/
/*	border-bottom: 3px solid #888;*/
	background-color: white;
	overflow:auto;
	z-index:20000;
}
.pywindow-file-preview-titlebar {
	padding: 10px 0px;
	position:fixed;
	background-color:rgb(132, 181, 206);
	border-top-left-radius: 3px;
	width:635px;
}
.pywindow-file-fake-scroll {
	position:fixed;
	width:1px;
	left: 50%;
	margin-left: 313px;
	height: 500px;
	top: 50%;
	margin-top: -247px;
	background-color:#f7f7f7;
	border-left: 1px solid #eee;
	border-top-right-radius: 3px;
	border-bottom-right-radius: 3px;
}
.pywindow-file-preview-modal textarea{
	width: 600px;
	margin: 50px 10px 10px 10px;
	border: none;
	resize: none;
	font-family: "Droid Sans Mono", "Lucida Console", Monospace, Courier;
}
.pywindow-file-preview-modal button{
	padding: 5px;
	margin: 0px 15px;
	border: none;
	border-radius: 4px;
}
.pywindow-file-preview-modal .pywindow-file-loading{
	margin: 50px 10px 10px 10px;
}