custom.css 5.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262
  1. @CHARSET "ISO-8859-1";
  2. #seperator {
  3. height: 60px;
  4. overflow: hidden;
  5. margin-bottom: 25px;
  6. background-image: -webkit-gradient(linear, 0 100%, 100% 0, color-stop(0.25, rgba(255, 255,
  7. 255, 0.15) ), color-stop(0.25, transparent),
  8. color-stop(0.5, transparent),
  9. color-stop(0.5, rgba(255, 255, 255, 0.15) ),
  10. color-stop(0.75, rgba(255, 255, 255, 0.15) ),
  11. color-stop(0.75, transparent), to(transparent) );
  12. background-image: -webkit-linear-gradient(135deg, rgba(255, 255, 255, 0.15)
  13. 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, 0.15) 50%,
  14. rgba(255, 255, 255, 0.15) 75%, transparent 75%, transparent );
  15. background-image: -moz-linear-gradient(135deg, rgba(255, 255, 255, 0.15)
  16. 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, 0.15) 50%,
  17. rgba(255, 255, 255, 0.15) 75%, transparent 75%, transparent );
  18. background-image: -o-linear-gradient(135deg, rgba(255, 255, 255, 0.15)
  19. 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, 0.15) 50%,
  20. rgba(255, 255, 255, 0.15) 75%, transparent 75%, transparent );
  21. background-image: linear-gradient(135deg, rgba(255, 255, 255, 0.15) 25%,
  22. transparent 25%, transparent 50%, rgba(255, 255, 255, 0.15) 50%,
  23. rgba(255, 255, 255, 0.15) 75%, transparent 75%, transparent );
  24. -webkit-background-size: 60px 60px;
  25. -moz-background-size: 60px 60px;
  26. -o-background-size: 60px 60px;
  27. background-size: 60px 60px;
  28. z-index: 1000;
  29. }
  30. .modal {
  31. position: fixed;
  32. left: 50%;
  33. right : 50%;
  34. width : 1000px;
  35. margin: -420px 0 0 -500px;
  36. }
  37. .modal-body {
  38. max-height: 730px;
  39. }
  40. .twitter-follow-button {
  41. padding: 5px;
  42. }
  43. .
  44. .green {
  45. background-color: rgba(126, 181, 25, 0.45);
  46. }
  47. .blue {
  48. background-color: rgba(7, 46, 99, 0.45);
  49. }
  50. .orange {
  51. background-color: rgba(247, 169, 15, 0.45);
  52. }
  53. .white {
  54. background-color: white;
  55. }
  56. .shadowed {
  57. -webkit-box-shadow: 0 3px 7px rgba(0, 0, 0, 0.3);
  58. -moz-box-shadow: 0 3px 7px rgba(0, 0, 0, 0.3);
  59. box-shadow: 0 3px 7px rgba(0, 0, 0, 0.3);
  60. }
  61. .wrapping {
  62. padding: 20px;
  63. -webkit-border-radius: 6px;
  64. -moz-border-radius: 6px;
  65. border-radius: 6px;
  66. }
  67. .small {
  68. width: 270px;
  69. height: 180px;
  70. }
  71. #bgimg {
  72. background: #bee2fc
  73. url(http://www.yakindu.org/wp-content/themes/yakindu/layout/images/Hintergrund-oben.jpg)
  74. top center no-repeat;
  75. }
  76. #screencast {
  77. height: 320px;
  78. width: 440px;
  79. background-image: url("http://www.itemis.com/binary.ashx?id=43434");
  80. background-position: center;
  81. z-index: 8;
  82. }
  83. #glass-effect {
  84. padding-top: 40px;
  85. background-image: url(img/pattern1.jpg) top left;
  86. background-color: rgba(238, 238, 238, 0.6);
  87. }
  88. .screencast_overlay:hover {
  89. opacity: 1;
  90. filter: alpha(opacity = 100);
  91. }
  92. .screencast_overlay {
  93. height: 100%;
  94. width: 100%;
  95. opacity: 0.4;
  96. filter: alpha(opacity = 40);
  97. background: url("../img/player_play.png") center center no-repeat;
  98. z-index: 10;
  99. }
  100. body {
  101. margin: 2%;
  102. }
  103. /* Styling of figures. By default, a figure is rendered as a <div class="figure"> … <img … /> </div> */
  104. .figure {
  105. text-align: center;
  106. }
  107. img {
  108. max-width: 60%;
  109. height: auto;
  110. text-align: center;
  111. display: block;
  112. margin-left: auto;
  113. margin-right: auto;
  114. }
  115. .standard-image {
  116. width:80.0%;
  117. height:auto;
  118. box-shadow: 10px 10px 20px #888888;
  119. }
  120. .inlinemediaobject {
  121. display: inline;
  122. }
  123. /* Tables */
  124. .informaltable td {
  125. border-color: #000;
  126. border-radius: 0%;
  127. border-style: solid;
  128. border-width: 1px;
  129. padding: 1ex;
  130. vertical-align: top;
  131. }
  132. /* The class "scedit" is used in tables describing working with the statechart editor.
  133. These tables typically consist of two columns with a textual description in the
  134. left column and a screenshot on the right. */
  135. table.scedit {
  136. width: auto;
  137. border-collapse: collapse;
  138. }
  139. tr.scedit {
  140. vertical-align: top;
  141. }
  142. table.scedit td {
  143. border-color: #000;
  144. border-radius: 0%;
  145. border-style: solid;
  146. border-width: 0px;
  147. padding-bottom: 1ex;
  148. vertical-align: top;
  149. }
  150. table.scedit img {
  151. max-width: 100%;
  152. margin-left: 0px;
  153. margin-right: 0px;
  154. box-shadow: 4px 4px 2px #bbb;
  155. }
  156. .application, .eclipse-view, .guibutton, .guimenuitem, .sct-state, .sct-variable, .sct-event, .sct-trigger {
  157. font-style: italic;
  158. }
  159. .application-ysct {
  160. font-weight: bold;
  161. color: #555566;
  162. }
  163. .note {
  164. padding-left: 1em;
  165. border-style: solid;
  166. border-width: 1px;
  167. border-color: black;
  168. background: #d0d0d0;
  169. font-size: 50%;
  170. line-height: 100%;
  171. margin-top: 0ex;
  172. margin-left: 0ex;
  173. margin-right: 0ex;
  174. margin-bottom: 2ex;
  175. }
  176. .warning {
  177. padding-left: 1em;
  178. border-style: solid;
  179. border-width: 1px;
  180. border-color: black;
  181. background: #ffd0d0;
  182. margin-top: 0ex;
  183. margin-left: 0ex;
  184. margin-right: 0ex;
  185. margin-bottom: 2ex;
  186. }
  187. .note h3 {
  188. font-size: 60%;
  189. line-height: 100%;
  190. }
  191. /* Settings for "synopsys" sub-elements: */
  192. pre.synopsis code.literal {
  193. font-weight: bold;
  194. font-style: normal;
  195. }
  196. pre.synopsis code.varname {
  197. font-weight: normal;
  198. font-style: italic;
  199. }
  200. pre {
  201. line-height: 100%;
  202. }
  203. div.example {
  204. padding-left: 2%;
  205. padding-right: 2%;
  206. padding-top: 2%;
  207. padding-bottom: 1%;
  208. border-style: solid;
  209. border-width: 1px;
  210. }
  211. .to-be-written {
  212. background-color: yellow;
  213. }