styles.css 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313
  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: #333;
  135. position: absolute;
  136. top: -100px;
  137. right: 10px;
  138. transition: top 1s;
  139. }
  140. .alert-box {
  141. text-align: center;
  142. border-radius: 3px;
  143. padding: 5px 10px;
  144. }
  145. #notification.active {
  146. top: 5px;
  147. }
  148. .alert-box.error {
  149. border: 1px solid #d42;
  150. background: #ffe8e0;
  151. }
  152. .alert-box.success {
  153. border: 1px solid #2d4;
  154. background: #e0ffe8;
  155. }
  156. /**
  157. * Styles généraux: liens, boutons, ...
  158. */
  159. a {
  160. text-decoration: none;
  161. color: #59d;
  162. }
  163. a:hover {
  164. text-decoration: none;
  165. color: #37b;
  166. }
  167. button {
  168. padding: 10px;
  169. border: none;
  170. border-radius: 3px;
  171. background: #fff;
  172. color: #555;
  173. }
  174. button a {
  175. color: #fff;
  176. }
  177. button.active {
  178. background: #9ad;
  179. }
  180. button:hover {
  181. opacity: 0.6;
  182. }
  183. #editor-js,
  184. #editor-html,
  185. #editor-css {
  186. /*display: none;*/
  187. position: absolute;
  188. top: 510px;
  189. }
  190. /**
  191. * Styles pour l'éditeur Ace
  192. */
  193. #editor {
  194. font-size: 90%;
  195. position: absolute;
  196. top: 120px;
  197. /*right: 500px;*/
  198. bottom: 0;
  199. left: 0;
  200. width: 100%;
  201. border-top: 1px solid #aaa;
  202. border-bottom: 1px solid #aaa;
  203. }
  204. #navbar {
  205. height: 49px;
  206. border-bottom: 1px solid #ddd;
  207. font-size: 26px;
  208. }
  209. #navbar a {
  210. color: #555;
  211. }
  212. #navbar a:hover,
  213. #navbar button:hover {
  214. color: #777;
  215. }
  216. #nav-menus {
  217. position: absolute;
  218. top: 50px;
  219. bottom: 0;
  220. left: 0;
  221. width: 0;
  222. overflow: hidden;
  223. transition: all 0.2s;
  224. z-index: 100;
  225. color: #000;
  226. background: rgba(248, 248, 248, 1);
  227. padding: 0;
  228. }
  229. .cat-title {
  230. text-transform: uppercase;
  231. }
  232. #nav-menus.in {
  233. width: 540px;
  234. padding: 10px;
  235. }
  236. #nav-menus.in .pure-u-1 {
  237. padding: 10px;
  238. box-sizing: border-box;
  239. }
  240. #nav-menus ul {
  241. padding-left: 0;
  242. margin-top: 5px;
  243. }
  244. #menu-btn:focus {
  245. outline: none;
  246. }
  247. /* Menus de nav */
  248. #nav-menus {
  249. }
  250. #nav-menus li {
  251. list-style-type: none;
  252. }
  253. #menu-example {
  254. overflow:
  255. }
  256. #menu-example > li {
  257. display: block;
  258. float:left;
  259. vertical-align: top;
  260. width: 50%;
  261. }
  262. .nav-menu a {
  263. color: #58c;
  264. }
  265. .nav-menu a:hover {
  266. color: #7af;
  267. }
  268. #tabs {
  269. /*font-size: 16px;*/
  270. position: absolute;
  271. top: 70px;
  272. left: 0;
  273. }
  274. #tabs li {
  275. border-top: 1px solid #ddd;
  276. border-left: 1px solid #ddd;
  277. border-right: 1px solid #ddd;
  278. display: inline;
  279. box-sizing: border-box;
  280. padding: 4px 8px;
  281. }
  282. .tab-html {
  283. background: #cef;
  284. }
  285. .tab-js {
  286. background: #ffb;
  287. }
  288. .tab-css {
  289. background: #fce;
  290. }