styles.css 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279
  1. /**
  2. * Pack d'icônes
  3. */
  4. @font-face {
  5. font-family: 'icomoon';
  6. src: url('fonts/icomoon.eot?q7b5dg');
  7. src: url('fonts/icomoon.eot?q7b5dg#iefix') format('embedded-opentype'),
  8. url('fonts/icomoon.ttf?q7b5dg') format('truetype'),
  9. url('fonts/icomoon.woff?q7b5dg') format('woff'),
  10. url('fonts/icomoon.svg?q7b5dg#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-menu:before {
  28. content: "\e9bd";
  29. }
  30. .icon-cloud-upload:before {
  31. content: "\e9c3";
  32. }
  33. .icon-plus:before {
  34. content: "\ea0a";
  35. }
  36. .icon-cross:before {
  37. content: "\ea0f";
  38. }
  39. .icon-checkmark:before {
  40. content: "\ea10";
  41. }
  42. /**
  43. * Styles généraux
  44. */
  45. /**
  46. * Grosse font pour le vidéo-proj
  47. */
  48. body {
  49. font-size: 100%;
  50. font-family: Arial, Helvetica;
  51. }
  52. /**
  53. * Styles des panneaux gauche-droite
  54. */
  55. /*#left-panel,
  56. #right-panel {
  57. font-family: Arial, Helvetica;
  58. position: absolute;
  59. top: 0;
  60. bottom: 0;
  61. }
  62. #left-panel {
  63. background: #fff;
  64. border-right: 1px solid #aaa;
  65. right: 39%;
  66. left: 0;
  67. }
  68. #right-panel {
  69. background: #f4f4f4;
  70. left: 59%;
  71. right: 0;
  72. }*/
  73. /* jQuery resizable: https://codepen.io/rstrahl/pen/eJZQej */
  74. /* horizontal panel*/
  75. html, body {
  76. height: 100%;
  77. }
  78. .panel-container {
  79. display: flex;
  80. flex-direction: row;
  81. border: 1px solid silver;
  82. overflow: hidden;
  83. height: 100%;
  84. /* avoid browser level touch actions */
  85. xtouch-action: none;
  86. }
  87. .panel-left {
  88. position: relative;
  89. flex: 0 0 auto;
  90. /* only manually resize */
  91. padding: 10px;
  92. width: 50%;
  93. /*min-height: 200px;*/
  94. height: 100%;
  95. min-width: 150px;
  96. white-space: nowrap;
  97. background: #fff;
  98. color: #555;
  99. }
  100. .splitter {
  101. flex: 0 0 auto;
  102. width: 18px;
  103. background: url(../img/vsizegrip.png) center center no-repeat #ddd;
  104. min-height: 200px;
  105. cursor: col-resize;
  106. }
  107. .panel-right {
  108. flex: 1 1 auto;
  109. /* resizable */
  110. padding: 10px;
  111. width: 100%;
  112. height: 100%;
  113. overflow-y: scroll;
  114. border: none;
  115. min-width: 200px;
  116. background: #eee;
  117. }
  118. .panel-inner {
  119. padding: 10px;
  120. }
  121. #site-menu{ position: fixed;top:0;right:0; }
  122. /*.panel-left nav,
  123. #add-example-form {
  124. display: inline-block;
  125. }
  126. .panel-left nav ul {
  127. padding-left: 0;
  128. margin: 0;
  129. }
  130. .panel-left nav ul li {
  131. display: inline-block;
  132. }*/
  133. #notification {
  134. color: black;
  135. position: absolute;
  136. top: -100px;
  137. right: 10px;
  138. transition: top 1s;
  139. border-radius: 3px;
  140. padding: 3px;
  141. }
  142. #notification.active {
  143. top: 5px;
  144. }
  145. #notification.error {
  146. border: 1px solid #d42;
  147. background: #ffe8e0;
  148. }
  149. #notification.success {
  150. border: 1px solid #2d4;
  151. background: #e0ffe8;
  152. }
  153. /**
  154. * Styles généraux: liens, boutons, ...
  155. */
  156. a {
  157. text-decoration: none;
  158. color: #59d;
  159. }
  160. a:hover {
  161. text-decoration: none;
  162. color: #37b;
  163. }
  164. button a {
  165. color: #fff;
  166. }
  167. button.active {
  168. background: #9ad;
  169. }
  170. button:hover {
  171. opacity: 0.6;
  172. }
  173. #editor-js,
  174. #editor-html,
  175. #editor-css {
  176. /*display: none;*/
  177. position: absolute;
  178. top: 510px;
  179. }
  180. /**
  181. * Styles pour l'éditeur Ace
  182. */
  183. #editor {
  184. font-size: 90%;
  185. position: absolute;
  186. top: 120px;
  187. /*right: 500px;*/
  188. bottom: 0;
  189. left: 0;
  190. width: 100%;
  191. border-top: 1px solid #aaa;
  192. border-bottom: 1px solid #aaa;
  193. }
  194. #nav-menus {
  195. position: absolute;
  196. top: 0;
  197. bottom: 0;
  198. left: 0;
  199. width: 0;
  200. overflow: hidden;
  201. transition: width 0.25s;
  202. z-index: 100;
  203. /*font-size: 16px;*/
  204. }
  205. #nav-menus.in {
  206. width: 800px;
  207. }
  208. #nav-menus ul {
  209. padding-left: 0;
  210. }
  211. /* Menus de nav */
  212. #nav-menus {
  213. color: #000;
  214. background: #f8f8f8;
  215. padding: 10px;
  216. }
  217. #nav-menus li {
  218. list-style-type: none;
  219. }
  220. #menu-example {
  221. overflow:
  222. }
  223. #menu-example > li {
  224. display: block;
  225. float:left;
  226. vertical-align: top;
  227. width: 50%;
  228. }
  229. .nav-menu a {
  230. color: #58c;
  231. }
  232. .nav-menu a:hover {
  233. color: #7af;
  234. }
  235. #tabs {
  236. /*font-size: 16px;*/
  237. position: absolute;
  238. top: 70px;
  239. left: 0;
  240. }
  241. #tabs li {
  242. border-top: 1px solid #ddd;
  243. border-left: 1px solid #ddd;
  244. border-right: 1px solid #ddd;
  245. display: inline;
  246. box-sizing: border-box;
  247. padding: 4px 8px;
  248. }
  249. .tab-html {
  250. background: #cef;
  251. }
  252. .tab-js {
  253. background: #ffb;
  254. }
  255. .tab-css {
  256. background: #fce;
  257. }