styles.css 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215
  1. /**
  2. * Pack d'icônes
  3. */
  4. @font-face {
  5. font-family: 'icomoon';
  6. src: url('fonts/icomoon.eot?xjk54g');
  7. src: url('fonts/icomoon.eot?xjk54g#iefix') format('embedded-opentype'),
  8. url('fonts/icomoon.ttf?xjk54g') format('truetype'),
  9. url('fonts/icomoon.woff?xjk54g') format('woff'),
  10. url('fonts/icomoon.svg?xjk54g#icomoon') format('svg');
  11. font-weight: normal;
  12. font-style: normal;
  13. }
  14. [class^="icon-"], [class*=" icon-"] {
  15. /* use !important to prevent issues with browser extensions that change fonts */
  16. font-family: 'icomoon' !important;
  17. speak: none;
  18. font-style: normal;
  19. font-weight: normal;
  20. font-variant: normal;
  21. text-transform: none;
  22. line-height: 1;
  23. /* Better Font Rendering =========== */
  24. -webkit-font-smoothing: antialiased;
  25. -moz-osx-font-smoothing: grayscale;
  26. }
  27. .icon-cloud-upload:before {
  28. content: "\e9c3";
  29. }
  30. .icon-plus:before {
  31. content: "\ea0a";
  32. }
  33. .icon-cross:before {
  34. content: "\ea0f";
  35. }
  36. .icon-checkmark:before {
  37. content: "\ea10";
  38. }
  39. /**
  40. * Styles généraux
  41. */
  42. /**
  43. * Grosse font pour le vidéo-proj
  44. */
  45. body {
  46. font-size: 130%;
  47. font-family: Arial, Helvetica;
  48. }
  49. /**
  50. * Styles des panneaux gauche-droite
  51. */
  52. /*#left-panel,
  53. #right-panel {
  54. font-family: Arial, Helvetica;
  55. position: absolute;
  56. top: 0;
  57. bottom: 0;
  58. }
  59. #left-panel {
  60. background: #fff;
  61. border-right: 1px solid #aaa;
  62. right: 39%;
  63. left: 0;
  64. }
  65. #right-panel {
  66. background: #f4f4f4;
  67. left: 59%;
  68. right: 0;
  69. }*/
  70. /* jQuery resizable: https://codepen.io/rstrahl/pen/eJZQej */
  71. /* horizontal panel*/
  72. .panel-container {
  73. display: flex;
  74. flex-direction: row;
  75. border: 1px solid silver;
  76. overflow: hidden;
  77. height: 100%;
  78. /* avoid browser level touch actions */
  79. xtouch-action: none;
  80. }
  81. .panel-left {
  82. flex: 0 0 auto;
  83. /* only manually resize */
  84. padding: 10px;
  85. width: 50%;
  86. /*min-height: 200px;*/
  87. height: 100%;
  88. min-width: 150px;
  89. white-space: nowrap;
  90. background: #fff;
  91. color: white;
  92. }
  93. .splitter {
  94. flex: 0 0 auto;
  95. width: 18px;
  96. background: url(../img/vsizegrip.png) center center no-repeat #ddd;
  97. min-height: 200px;
  98. cursor: col-resize;
  99. }
  100. .panel-right {
  101. flex: 1 1 auto;
  102. /* resizable */
  103. padding: 10px;
  104. width: 100%;
  105. height: 100%;
  106. overflow-y: scroll;
  107. border: none;
  108. min-width: 200px;
  109. background: #eee;
  110. }
  111. .panel-inner {
  112. padding: 10px;
  113. }
  114. #site-menu{ position: fixed;top:0;right:0; }
  115. /*.panel-left nav,
  116. #add-example-form {
  117. display: inline-block;
  118. }
  119. .panel-left nav ul {
  120. padding-left: 0;
  121. margin: 0;
  122. }
  123. .panel-left nav ul li {
  124. display: inline-block;
  125. }*/
  126. #notification {
  127. color: black;
  128. position: absolute;
  129. top: -100px;
  130. right: 10px;
  131. transition: top 1s;
  132. border-radius: 3px;
  133. padding: 3px;
  134. }
  135. #notification.active {
  136. top: 5px;
  137. }
  138. #notification.error {
  139. border: 1px solid #d42;
  140. background: #ffe8e0;
  141. }
  142. #notification.success {
  143. border: 1px solid #2d4;
  144. background: #e0ffe8;
  145. }
  146. /**
  147. * Styles généraux: liens, boutons, ...
  148. */
  149. a {
  150. text-decoration: none;
  151. color: #59d;
  152. }
  153. a:hover {
  154. text-decoration: none;
  155. color: #37b;
  156. }
  157. button a {
  158. color: #fff;
  159. }
  160. button.active {
  161. background: #9ad;
  162. }
  163. button:hover {
  164. opacity: 0.6;
  165. }
  166. #editor-js,
  167. #editor-html,
  168. #editor-css {
  169. /*display: none;*/
  170. position: absolute;
  171. top: 510px;
  172. }
  173. /**
  174. * Styles pour l'éditeur Ace
  175. */
  176. #editor {
  177. font-size: 90%;
  178. position: absolute;
  179. top: 390px;
  180. right: 500px;
  181. bottom: 0;
  182. left: 0;
  183. border-top: 1px solid #aaa;
  184. border-bottom: 1px solid #aaa;
  185. }
  186. /* Menus de nav */
  187. .nav-menu {
  188. background: #eee;
  189. padding: 10px;
  190. }
  191. .nav-menu a {
  192. color: #000;
  193. }
  194. .nav-menu a:hover {
  195. color: #555;
  196. }