styles.css 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341
  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. button.btn-lg {
  184. font-size: 120%;
  185. }
  186. textarea,
  187. select,
  188. input {
  189. border: 1px solid #ddd;
  190. padding: 8px;
  191. border-radius: 3px;
  192. }
  193. .blue {
  194. background: #24d;
  195. color: #fff;
  196. }
  197. .red {
  198. background: #d42;
  199. color: #fff;
  200. }
  201. .green {
  202. background: #4b2;
  203. color: #fff;
  204. }
  205. #editor-js,
  206. #editor-html,
  207. #editor-css {
  208. /*display: none;*/
  209. position: absolute;
  210. top: 510px;
  211. }
  212. /**
  213. * Styles pour l'éditeur Ace
  214. */
  215. #editor-wrapper,
  216. #editor {
  217. position: absolute;
  218. bottom: 0;
  219. width: 100%;
  220. }
  221. #editor-wrapper {
  222. top: 120px;
  223. }
  224. #editor {
  225. font-size: 90%;
  226. border-top: 1px solid #aaa;
  227. top: 22px;
  228. left: 0;
  229. }
  230. #navbar {
  231. height: 49px;
  232. border-bottom: 1px solid #ddd;
  233. font-size: 26px;
  234. }
  235. #navbar a {
  236. color: #555;
  237. }
  238. #navbar a:hover,
  239. #navbar button:hover {
  240. color: #777;
  241. }
  242. #nav-menus {
  243. position: absolute;
  244. top: 50px;
  245. bottom: 0;
  246. left: 0;
  247. width: 0;
  248. overflow: hidden;
  249. transition: all 0.2s;
  250. z-index: 100;
  251. color: #000;
  252. background: rgba(248, 248, 248, 1);
  253. padding: 0;
  254. }
  255. .cat-title {
  256. text-transform: uppercase;
  257. }
  258. #nav-menus.in {
  259. width: 540px;
  260. padding: 10px;
  261. }
  262. #nav-menus.in .pure-u-1 {
  263. padding: 10px;
  264. box-sizing: border-box;
  265. }
  266. #nav-menus ul {
  267. padding-left: 0;
  268. margin-top: 5px;
  269. }
  270. #menu-btn:focus {
  271. outline: none;
  272. }
  273. /* Menus de nav */
  274. #nav-menus {
  275. }
  276. #nav-menus li {
  277. list-style-type: none;
  278. }
  279. #menu-example {
  280. overflow:
  281. }
  282. #menu-example > li {
  283. display: block;
  284. float:left;
  285. vertical-align: top;
  286. width: 50%;
  287. }
  288. .nav-menu a {
  289. color: #58c;
  290. }
  291. .nav-menu a:hover {
  292. color: #7af;
  293. }
  294. #tabs {
  295. /*font-size: 16px;*/
  296. position: relative;
  297. vertical-align: bottom;
  298. margin: 0;
  299. padding-left: 10px;
  300. }
  301. #tabs li {
  302. border-top: 1px solid #ddd;
  303. border-left: 1px solid #ddd;
  304. border-right: 1px solid #ddd;
  305. display: inline;
  306. box-sizing: border-box;
  307. padding: 4px 8px;
  308. }
  309. .tab-html {
  310. background: #cef;
  311. }
  312. .tab-js {
  313. background: #ffb;
  314. }
  315. .tab-css {
  316. background: #fce;
  317. }