|
@@ -6,7 +6,7 @@
|
|
|
* Grosse font pour le vidéo-proj
|
|
* Grosse font pour le vidéo-proj
|
|
|
*/
|
|
*/
|
|
|
body {
|
|
body {
|
|
|
- font-size: 120%;
|
|
|
|
|
|
|
+ font-size: 130%;
|
|
|
}
|
|
}
|
|
|
#left-panel,
|
|
#left-panel,
|
|
|
#right-panel {
|
|
#right-panel {
|
|
@@ -55,7 +55,7 @@ button.active {
|
|
|
* Styles pour l'éditeur Ace
|
|
* Styles pour l'éditeur Ace
|
|
|
*/
|
|
*/
|
|
|
#editor {
|
|
#editor {
|
|
|
- /*font-size: 90%;*/
|
|
|
|
|
|
|
+ font-size: 90%;
|
|
|
position: absolute;
|
|
position: absolute;
|
|
|
top: 110px;
|
|
top: 110px;
|
|
|
right: 0;
|
|
right: 0;
|
|
@@ -66,7 +66,7 @@ button.active {
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
.container {
|
|
.container {
|
|
|
- margin: 150px auto;
|
|
|
|
|
|
|
+ margin: 50px auto;
|
|
|
background: #fff;
|
|
background: #fff;
|
|
|
border: 1px solid #ddd;
|
|
border: 1px solid #ddd;
|
|
|
padding: 30px;
|
|
padding: 30px;
|
|
@@ -98,7 +98,6 @@ input {
|
|
|
border-radius: 3px;
|
|
border-radius: 3px;
|
|
|
}
|
|
}
|
|
|
a,
|
|
a,
|
|
|
-span,
|
|
|
|
|
button {
|
|
button {
|
|
|
margin: 5px;
|
|
margin: 5px;
|
|
|
box-sizing: border-box;
|
|
box-sizing: border-box;
|
|
@@ -107,3 +106,10 @@ button {
|
|
|
border: 2px solid red;
|
|
border: 2px solid red;
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
|
|
+/**
|
|
|
|
|
+ * Styles communs pour les différents exemples
|
|
|
|
|
+ */
|
|
|
|
|
+a.active {
|
|
|
|
|
+ font-weight: bold;
|
|
|
|
|
+ color: #48c;
|
|
|
|
|
+}
|