styles.css 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109
  1. /**
  2. * Styles généraux
  3. */
  4. /**
  5. * Grosse font pour le vidéo-proj
  6. */
  7. body {
  8. font-size: 120%;
  9. }
  10. #left-panel,
  11. #right-panel {
  12. font-family: Arial, Helvetica;
  13. position: absolute;
  14. top: 0;
  15. bottom: 0;
  16. }
  17. #left-panel {
  18. background: #fff;
  19. border-right: 1px solid #aaa;
  20. right: 40%;
  21. left: 0;
  22. }
  23. #right-panel {
  24. background: #f4f4f4;
  25. left: 60%;
  26. right: 0;
  27. }
  28. .panel-inner {
  29. padding: 10px;
  30. }
  31. nav ul {
  32. padding-left: 0;
  33. }
  34. nav ul li {
  35. display: inline-block;
  36. }
  37. a {
  38. text-decoration: none;
  39. color: #59d;
  40. }
  41. button a {
  42. color: #fff;
  43. }
  44. button.active {
  45. background: #9ad;
  46. }
  47. #editor-js,#editor-html {
  48. /*display: none;*/
  49. position: absolute;
  50. top: 510px;
  51. }
  52. /**
  53. * Styles pour l'éditeur Ace
  54. */
  55. #editor {
  56. /*font-size: 90%;*/
  57. position: absolute;
  58. top: 110px;
  59. right: 0;
  60. bottom: 200px;
  61. left: 0;
  62. border-top: 1px solid #aaa;
  63. border-bottom: 1px solid #aaa;
  64. }
  65. .container {
  66. margin: 150px auto;
  67. background: #fff;
  68. border: 1px solid #ddd;
  69. padding: 30px;
  70. width: 96%;
  71. border-radius: 4px;
  72. box-sizing: border-box;
  73. /*max-width: 600px;*/
  74. }
  75. input[type="submit"],
  76. button {
  77. padding: 10px;
  78. color: white;
  79. border: none;
  80. border-radius: 3px;
  81. }
  82. .blue {
  83. background: #24d;
  84. }
  85. .red {
  86. background: #d42;
  87. }
  88. .green {
  89. background: #4d2;
  90. }
  91. select,
  92. input {
  93. border: 1px solid #ddd;
  94. padding: 8px;
  95. border-radius: 3px;
  96. }
  97. a,
  98. span,
  99. button {
  100. margin: 5px;
  101. box-sizing: border-box;
  102. }
  103. .bordure-flashy {
  104. border: 2px solid red;
  105. }