style.css 3.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  1. /* get Bootstrap config on http://getbootstrap.com/customize/?id=581587aab022e010e9c9 */
  2. /*@import url(http://fonts.googleapis.com/earlyaccess/nanumbrushscript.css);
  3. @import url(http://fonts.googleapis.com/earlyaccess/nanumgothic.css);
  4. @import url(http://fonts.googleapis.com/earlyaccess/nanumgothiccoding.css);
  5. @import url(http://fonts.googleapis.com/earlyaccess/nanummyeongjo.css);
  6. @import url(http://fonts.googleapis.com/earlyaccess/nanumpenscript.css);
  7. @import url(http://fonts.googleapis.com/css?family=Source+Code+Pro); */
  8. /* Reset the container */
  9. .container {
  10. max-width: none !important;
  11. /*width: 1280px;*/
  12. width: 100%;
  13. }
  14. .container .navbar-header,
  15. .container .navbar-collapse {
  16. margin-right: 0;
  17. margin-left: 0;
  18. }
  19. .header {
  20. /*width: 1350px; */
  21. width: 100%;
  22. min-width: 1280px;
  23. }
  24. /* Always float the navbar header */
  25. .navbar-header {
  26. float: left;
  27. }
  28. /* Undo the collapsing navbar */
  29. .navbar-collapse {
  30. display: block !important;
  31. height: auto !important;
  32. padding-bottom: 0;
  33. overflow: visible !important;
  34. }
  35. .navbar-toggle {
  36. display: none;
  37. }
  38. .navbar-brand {
  39. margin-left: -15px;
  40. }
  41. /* Always apply the floated nav */
  42. .navbar-nav {
  43. float: left;
  44. margin: 0;
  45. }
  46. .navbar-nav > li {
  47. float: left;
  48. }
  49. .navbar-nav > li > a {
  50. padding: 15px;
  51. }
  52. /* Redeclare since we override the float above */
  53. .navbar-nav.navbar-right {
  54. float: right;
  55. }
  56. /* Undo custom dropdowns */
  57. .navbar .open .dropdown-menu {
  58. position: absolute;
  59. float: left;
  60. background-color: #fff;
  61. border: 1px solid #cccccc;
  62. border: 1px solid rgba(0, 0, 0, 0.15);
  63. border-width: 0 1px 1px;
  64. border-radius: 0 0 4px 4px;
  65. -webkit-box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
  66. box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
  67. }
  68. .navbar .open .dropdown-menu > li > a {
  69. color: #333;
  70. }
  71. .navbar .open .dropdown-menu > li > a:hover,
  72. .navbar .open .dropdown-menu > li > a:focus,
  73. .navbar .open .dropdown-menu > .active > a,
  74. .navbar .open .dropdown-menu > .active > a:hover,
  75. .navbar .open .dropdown-menu > .active > a:focus {
  76. color: #fff !important;
  77. background-color: #428bca !important;
  78. }
  79. .navbar .open .dropdown-menu > .disabled > a,
  80. .navbar .open .dropdown-menu > .disabled > a:hover,
  81. .navbar .open .dropdown-menu > .disabled > a:focus {
  82. color: #999 !important;
  83. background-color: transparent !important;
  84. }
  85. #main-wrapper {
  86. height: auto;
  87. min-height: 560px;
  88. min-width: 1280px;
  89. }
  90. #terminal-wrapper {
  91. height: auto;
  92. }
  93. #terminal {
  94. width: 100%;
  95. height: 300px;
  96. }
  97. #blocklyDiv {
  98. /* height: auto; */
  99. height: -moz-calc(100vh - 150px); /* Firefox */
  100. height: -webkit-calc(100vh - 150px); /* WebKit */
  101. height: -o-calc(100vh - 150px); /* Opera */
  102. height: calc(100vh - 150px); /* Standard */
  103. min-height: 560px;
  104. margin-bottom: 0;
  105. padding: 0px !important;
  106. }
  107. #code-wrapper {
  108. height: auto;
  109. }
  110. #code {
  111. /* height: auto; */
  112. height: -moz-calc(100vh - 150px); /* Firefox */
  113. height: -webkit-calc(100vh - 150px); /* WebKit */
  114. height: -o-calc(100vh - 150px); /* Opera */
  115. height: calc(100vh - 150px); /* Standard */
  116. min-height: 560px;
  117. margin-bottom: 0;
  118. }
  119. #toolbox {
  120. display: none;
  121. }
  122. #footer {
  123. border-top: 1px solid #e5e5e5;
  124. }
  125. #program_name {
  126. background-color: transparent;
  127. border: none !important;
  128. font-size: 24px;
  129. }