/**
 * Styles généraux
 */

/**
 * Grosse font pour le vidéo-proj
 */
body {
  font-size: 130%;
}
#left-panel,
#right-panel {
	font-family: Arial, Helvetica;
  position: absolute;
  top: 0;
  bottom: 0;
}
#left-panel {
  background: #fff;
  border-right: 1px solid #aaa;
  right: 40%;
  left: 0;
}
#right-panel {
  background: #f4f4f4;
  left: 60%;
  right: 0;
}
.panel-inner {
  padding: 10px;
}
#left-panel nav {
  display: inline-block;
}
#left-panel nav ul {
  padding-left: 0;
  margin: 0;
}
#left-panel nav ul li {
  display: inline-block;
}
a {
  text-decoration: none;
  color: #59d;
}
button a {
  color: #fff;
}
button.active {
  background: #9ad;
}
#editor-js,#editor-html {
  /*display: none;*/
  position: absolute;
  top: 510px;

}
/**
 * Styles pour l'éditeur Ace
 */
#editor {
  font-size: 90%;
  position: absolute;
  top: 90px;
  right: 0;
  bottom: 0; /*200px;*/
  left: 0;
  border-top: 1px solid #aaa;
  border-bottom: 1px solid #aaa;
}

.container {
  margin: 50px auto;
	background: #fff;
	border: 1px solid #ddd;
	padding: 30px;
  width: 96%;
  border-radius: 4px;
  box-sizing: border-box;
	/*max-width: 600px;*/
}
input[type="submit"],
button {
  padding: 10px;
  color: white;
  border: none;
  border-radius: 3px;
}
.blue {
  background: #24d;
}
.red {
  background: #d42;
}
.green {
  background: #4d2;
}
select,
input {
  border: 1px solid #ddd;  
  padding: 8px;
  border-radius: 3px;
}
a,
button {
  margin: 5px;
  box-sizing: border-box;
}
.bordure-flashy {
  border: 2px solid red;
}

#html-content h5 {
  margin: 20px 0 5px 0;
}
#html-content p {
  margin: 10px 0;
}

/**
 * Styles communs pour les différents exemples
 */
a.active {
  font-weight: bold;
  color: #48c;
}