style.css 3.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176
  1. .ivprog-container {
  2. -webkit-box-shadow: 0px 0px 31px -5px rgba(0,0,0,0.75);
  3. -moz-box-shadow: 0px 0px 31px -5px rgba(0,0,0,0.75);
  4. box-shadow: 0px 0px 31px -5px rgba(0,0,0,0.75);
  5. border-radius: 4px;
  6. padding-top: 0.3rem;
  7. }
  8. footer.container {
  9. margin-top: 1%;
  10. }
  11. .jumbotron.ivprogh-desc {
  12. padding-top: 0.5rem;
  13. padding-bottom: 0.5rem;
  14. margin-bottom: 1rem;
  15. background-color: #425b84;
  16. color: white;
  17. }
  18. .text-reduced {
  19. font-size: 96%;
  20. margin-bottom: 0.5rem;
  21. }
  22. h1 {
  23. margin-bottom: 0;
  24. }
  25. .col-md-3.item {
  26. padding: 1em;
  27. background: #007bff;
  28. color: white;
  29. margin: 1em;
  30. border-radius: .5em;
  31. text-align: center;
  32. border: 1px groove;
  33. cursor: pointer;
  34. }
  35. .col-md-3.item .octicon {
  36. font-size: 3em;
  37. }
  38. .col-md-3.item h4 {
  39. font-size: 1.4em;
  40. margin-top: 0.6em;
  41. }
  42. .row.thumbs-ivprog {
  43. margin-top: 1em;
  44. }
  45. .row.thumbs-ivprog-download .item {
  46. background-color: #5a6570;
  47. border: 2px groove;
  48. }
  49. .col-md-3.item:hover {
  50. background-color: #03396c;
  51. }
  52. .col-md-3.item hr {
  53. background: white;
  54. }
  55. .btn.btn-primary .octicon {
  56. text-align: center;
  57. font-size: 1.5em;
  58. margin-left:
  59. }
  60. .download-ivprog {
  61. font-size: 1.3em;
  62. }
  63. .div-button {
  64. text-align: center;
  65. padding-top: 2.5em;
  66. }
  67. .div-button .span-version {
  68. display: block;
  69. font-size: 98%;
  70. }
  71. .my-4 .octicon-history {
  72. font-size: 1em;
  73. }
  74. .row.thumbs-ivprog-download {
  75. padding-bottom: 3em;
  76. }
  77. .history-ivprog-version {
  78. display: block;
  79. font-size: 1em;
  80. font-weight: bold;
  81. margin-top: -.5em;
  82. margin-bottom: .5em;
  83. }
  84. .history-ivprog-time {
  85. background-color: gray;
  86. padding: .4em;
  87. border-radius: .4em;
  88. }
  89. footer.container {
  90. margin-bottom: 1em;
  91. }
  92. .example-large-div {
  93. background-color: #0bbf4a;
  94. border-radius: .8em;
  95. margin-top: 0.5em;
  96. }
  97. .example-large-div .container .embed-responsive {
  98. border-radius: .5em;
  99. margin-top: 1em;
  100. }
  101. .text-count-example {
  102. font-size: 1.5em;
  103. color: white;
  104. text-shadow: 2px 2px gray;
  105. font-weight: 600;
  106. margin-bottom: .3em;
  107. padding-top: .3em;
  108. padding-bottom: .2em;
  109. cursor: pointer;
  110. }
  111. .example-large-div .text-reduced {
  112. color: #06065a;
  113. font-size: 1.1em;
  114. text-indent: 1em;
  115. }
  116. .text-count-example .octicon {
  117. text-shadow: none;
  118. font-weight: normal;
  119. font-size: .9em;
  120. margin-right: .1em;
  121. }
  122. .container.text-center .btn {
  123. margin: .5em;
  124. }
  125. .container.example-large-div.autoeval-descript {
  126. background-color: #538564;
  127. color: white;
  128. padding: .2em;
  129. padding-left: 1em;
  130. font-size: 1.1em;
  131. border-radius: .3em;
  132. }
  133. .container.example-large-div.autoeval-descript .pointer {
  134. cursor:pointer;
  135. }
  136. .container.example-large-div.autoeval-descript span {
  137. font-size: 1.2em;
  138. margin-right: .2em;
  139. }
  140. #area-autoeval-descript {
  141. padding-left: 2em;
  142. padding-top: 1em;
  143. padding-right: 2em;
  144. padding-bottom: 1em;
  145. }
  146. button.btn.btn-primary.show-solution {
  147. text-align: center;
  148. }
  149. .ivprogh-title-download {
  150. color: #03396c;
  151. }
  152. .ivprogh-title-download .octicon {
  153. font-size: 1em;
  154. }
  155. .table.about-auto-eval {
  156. border: 2px solid white;
  157. }
  158. .box-download {
  159. background: #efefef;
  160. border-radius: .5em;
  161. }
  162. .distinct-container {
  163. margin-top: 2em;
  164. margin-bottom: 2em;
  165. }
  166. .zoom-images {
  167. width: 10em;
  168. cursor: zoom-in;
  169. height: 5.5em !important;
  170. }
  171. input[type="radio"]{
  172. margin: 0 20px 0 10px
  173. }