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

/**
 * Grosse font pour le vidéo-proj
 */
body {
  font-size: 150%;
}

#left-panel,
#right-panel {
	font-family: Arial, Helvetica;
}
#left-panel {
  background: #fff;
  border-right: 1px solid #aaa;
  position: absolute;
  top: 0;
  right: 40%;
  bottom: 0;
  left: 0;
}
#right-panel {
  background: #f4f4f4;
}
nav {
  max-width: 100%;
}
nav ul li {
  display: inline-block;
}
/**
 * Styles pour l'éditeur Ace
 */
#editor {
  font-size: 90%;
  position: absolute;
  top: 100px;
  right: 0;
  bottom: 200px;
  left: 0;
  border-top: 1px solid #aaa;
  border-bottom: 1px solid #aaa;
}

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