styles.css 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202
  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. }
  48. /**
  49. * Styles des panneaux gauche-droite
  50. */
  51. /*#left-panel,
  52. #right-panel {
  53. font-family: Arial, Helvetica;
  54. position: absolute;
  55. top: 0;
  56. bottom: 0;
  57. }
  58. #left-panel {
  59. background: #fff;
  60. border-right: 1px solid #aaa;
  61. right: 39%;
  62. left: 0;
  63. }
  64. #right-panel {
  65. background: #f4f4f4;
  66. left: 59%;
  67. right: 0;
  68. }*/
  69. /* jQuery resizable: https://codepen.io/rstrahl/pen/eJZQej */
  70. /* horizontal panel*/
  71. .panel-container {
  72. display: flex;
  73. flex-direction: row;
  74. border: 1px solid silver;
  75. overflow: hidden;
  76. height: 100%;
  77. /* avoid browser level touch actions */
  78. xtouch-action: none;
  79. }
  80. .panel-left {
  81. flex: 0 0 auto;
  82. /* only manually resize */
  83. padding: 10px;
  84. width: 50%;
  85. /*min-height: 200px;*/
  86. height: 100%;
  87. min-width: 150px;
  88. white-space: nowrap;
  89. background: #fff;
  90. color: white;
  91. }
  92. .splitter {
  93. flex: 0 0 auto;
  94. width: 18px;
  95. background: url(../img/vsizegrip.png) center center no-repeat #ddd;
  96. min-height: 200px;
  97. cursor: col-resize;
  98. }
  99. .panel-right {
  100. flex: 1 1 auto;
  101. /* resizable */
  102. padding: 10px;
  103. width: 100%;
  104. height: 100%;
  105. overflow-y: scroll;
  106. border: none;
  107. min-width: 200px;
  108. background: #eee;
  109. }
  110. .panel-inner {
  111. padding: 10px;
  112. }
  113. .panel-left nav,
  114. #add-example-form {
  115. /*display: inline-block;*/
  116. }
  117. #site-menu{ position: fixed;top:0;right:0; }
  118. .panel-left nav ul {
  119. padding-left: 0;
  120. margin: 0;
  121. }
  122. .panel-left nav ul li {
  123. /*display: inline-block;*/
  124. }
  125. #notification {
  126. color: black;
  127. position: absolute;
  128. top: -100px;
  129. right: 10px;
  130. transition: top 1s;
  131. border-radius: 3px;
  132. padding: 3px;
  133. }
  134. #notification.active {
  135. top: 5px;
  136. }
  137. #notification.error {
  138. border: 1px solid #d42;
  139. background: #ffe8e0;
  140. }
  141. #notification.success {
  142. border: 1px solid #2d4;
  143. background: #e0ffe8;
  144. }
  145. /**
  146. * Styles généraux: liens, boutons, ...
  147. */
  148. a {
  149. text-decoration: none;
  150. color: #59d;
  151. }
  152. a:hover {
  153. text-decoration: none;
  154. color: #37b;
  155. }
  156. button a {
  157. color: #fff;
  158. }
  159. button.active {
  160. background: #9ad;
  161. }
  162. button:hover {
  163. opacity: 0.6;
  164. }
  165. #editor-js,
  166. #editor-html,
  167. #editor-css {
  168. /*display: none;*/
  169. position: absolute;
  170. top: 510px;
  171. }
  172. /**
  173. * Styles pour l'éditeur Ace
  174. */
  175. #editor {
  176. font-size: 90%;
  177. position: absolute;
  178. top: 90px;
  179. right: 500px;
  180. bottom: 0;
  181. left: 0;
  182. border-top: 1px solid #aaa;
  183. border-bottom: 1px solid #aaa;
  184. }