ivprog-visual-1.0.css 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268
  1. html {
  2. height: 100%;
  3. }
  4. body {
  5. height: 100%;
  6. }
  7. .div_to_body {
  8. height: 90%;
  9. }
  10. .ivprog_visual_panel {
  11. height: 91%;
  12. overflow: auto;
  13. overflow-x: auto;
  14. }
  15. .main_title h2 {
  16. margin: 0;
  17. }
  18. .main_title span {
  19. font-size: 80%;
  20. font-style: italic;
  21. }
  22. .ivprog_format_info {
  23. cursor: pointer;
  24. margin-left: 10px;
  25. }
  26. .ivprog_visual_panel {
  27. border: 2px solid #A0A0A0;
  28. background-color: red;
  29. }
  30. .ui.container.main_title {
  31. float: left;
  32. width: 200px;
  33. }
  34. .ui.container.content_margin {
  35. margin-top: 10px;
  36. }
  37. .content_margin .content_sub_margin {
  38. display: inline;
  39. margin-left: 15%;
  40. margin-top: 50px;
  41. }
  42. .ui.icon.menu.center.aligned.container {
  43. width: 438px;
  44. margin-top: -10px;
  45. }
  46. .ghost {
  47. opacity: .5;
  48. background: #C8EBFB;
  49. }
  50. /* editor visual: **/
  51. .function_signature_div,
  52. .function_close_div {
  53. font-weight: bold;
  54. color: black;
  55. }
  56. .ui.selection.data_types_dropdown.visible.dropdown>.text:not(.default),
  57. .ui.selection.parameter_data_types_dropdown.visible.dropdown>.text:not(.default) {
  58. font-weight: bold;
  59. }
  60. .ui.selection.data_types_dropdown.dropdown,
  61. .ui.selection.parameter_data_types_dropdown.dropdown {
  62. padding-bottom: 0;
  63. }
  64. .ui.fluid.dropdown.data_types_dropdown {
  65. display: inline;
  66. width: 150px;
  67. border: none;
  68. background: none;
  69. }
  70. .ui.fluid.dropdown.parameter_data_types_dropdown {
  71. display: inline;
  72. border: none;
  73. background: none;
  74. }
  75. .ui.fluid.dropdown.data_types_dropdown.selection .dropdown.icon,
  76. .ui.fluid.dropdown.parameter_data_types_dropdown.selection .dropdown.icon {
  77. font-size: 1em;
  78. }
  79. .function_close_div {
  80. margin-left: 20px;
  81. }
  82. .command_div {
  83. margin-left: 16px;
  84. }
  85. .function_draggable_div {
  86. width: 16px;
  87. float: left;
  88. }
  89. .function_draggable_div img {
  90. margin-bottom: -4px;
  91. margin-left: -2px;
  92. }
  93. .input_name_function{
  94. min-width: 50px;
  95. }
  96. .function_name_div, .function_return_div, .function_name_parameter {
  97. display: inline;
  98. }
  99. .enable_edit_name_function, .enable_edit_name_parameter, .add_parameter, .remove_parameter {
  100. cursor: pointer;
  101. }
  102. [contenteditable="true"]:active,
  103. [contenteditable="true"]:focus,
  104. [contenteditable="true"]:hover {
  105. border: 1px dashed #000;
  106. background: white;
  107. }
  108. .ui.segment.ivprog_visual_panel {
  109. padding: 8px;
  110. background-image: url('../img/background-panel.png');
  111. }
  112. .ui.segment.function_div {
  113. padding: 5px;
  114. margin: 0;
  115. margin-bottom: 5px;
  116. }
  117. .ui.button.add_function_button,
  118. .ui.button.add_variable_button,
  119. .ui.button.add_command_button {
  120. padding: 8px;
  121. margin: 0;
  122. }
  123. .glyphicon-move {
  124. cursor: move;
  125. cursor: -webkit-grabbing;
  126. }
  127. .glyphicon.glyphicon-move {
  128. float: left;
  129. }
  130. .remove_function_button, .minimize_function_button, .add_var_top_button, .add_command_top_button {
  131. float: right;
  132. }
  133. .ui.icon.button.remove_function_button,
  134. .ui.icon.button.minimize_function_button {
  135. background: none;
  136. padding: 0;
  137. margin-top: 12px;
  138. }
  139. .ui.segment.variables_list_div,
  140. .ui.segment.commands_list_div {
  141. padding: 5px;
  142. margin: 0;
  143. margin-left: 30px;
  144. width: calc(100% - 30px);
  145. background-color: #f9f9f9;
  146. }
  147. .ui.segment.variables_list_div {
  148. margin-top: 5px;
  149. }
  150. .ui.labeled.icon.button.add_variable_button,
  151. .ui.labeled.icon.button.add_command_button {
  152. }
  153. .program_signature {
  154. font-weight: bold;
  155. margin: -3px 0 10px -5px;
  156. }
  157. .program_final {
  158. font-weight: bold;
  159. margin: 5px 0 0 -5px;
  160. }
  161. .parameters_list {
  162. display: inline;
  163. }
  164. .function_return, .parameter_type {
  165. margin-left: 10px;
  166. margin-right: 15px;
  167. }
  168. .function_return .dropdown .icon, .parameter_type .dropdown .icon {
  169. margin-left: 6px;
  170. }
  171. .tabela_var {
  172. display: inline;
  173. }
  174. .buttons_manage_columns i, .tr_manage_lines i {
  175. cursor: pointer;
  176. display: inline;
  177. }
  178. div.buttons_manage_columns {
  179. display: inline;
  180. }
  181. .tr_manage_lines {
  182. text-align: center;
  183. }
  184. .div_valor_var {
  185. display: inline;
  186. }
  187. .ui.comment span {
  188. font-style: italic;
  189. }
  190. .ui.comment {
  191. border: 1px solid gray;
  192. padding: 5px;
  193. border-radius: 5px;
  194. margin: 5px;
  195. background: #f9f9f9;
  196. }
  197. .add_var_top_button {
  198. padding-right: 50px;
  199. }
  200. .function_signature_div {
  201. min-height: 40px;
  202. padding-top: 8px;
  203. }
  204. .move_function {
  205. margin-top: 9px;
  206. }
  207. .div_start_minimize_v {
  208. float: right;
  209. width: 22px;
  210. height: 10px;
  211. }
  212. .global_var {
  213. margin-bottom: 10px;
  214. }
  215. .list_globals, .global_const {
  216. display: inline;
  217. cursor: pointer;
  218. }
  219. .created_element {
  220. position: absolute;
  221. width: 50%;
  222. z-index: 99999999;
  223. opacity: .8;
  224. cursor: move;
  225. }