custom.css 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301
  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. img.standard-image {
  104. max-width: 61.8%;
  105. min-width: 38.2%;
  106. height: auto;
  107. text-align: center;
  108. display: block;
  109. margin-left: auto;
  110. margin-right: auto;
  111. box-shadow: 10px 10px 20px #888888;
  112. border-radius: 4px;
  113. margin-top: 1.5ex;
  114. margin-bottom: 2.5ex;
  115. }
  116. img.tiny {
  117. width:14.6%;
  118. min-width:14.6%;
  119. }
  120. img.small {
  121. width:38.2%;
  122. }
  123. img.large {
  124. width:61.8%;
  125. }
  126. img.full {
  127. width:100%;
  128. max-width:100%;
  129. }
  130. img.shadowless {
  131. box-shadow: none;
  132. margin-bottom: 0px;
  133. }
  134. img.inlinemediaobject {
  135. display: inline;
  136. height: 1.1em;
  137. width: auto; /* For keeping aspect ratio */
  138. min-width: 0; /* Overrides min-width from img, as 'initial' does not work as intended */
  139. }
  140. /* Tables */
  141. .informaltable td {
  142. border-color: #000;
  143. border-radius: 0%;
  144. border-style: solid;
  145. border-width: 1px;
  146. padding: 1ex;
  147. vertical-align: top;
  148. }
  149. /* The class "scedit" is used in tables describing working with the statechart editor.
  150. These tables typically consist of two columns with a textual description in the
  151. left column and a screenshot on the right. */
  152. table.scedit {
  153. width: auto;
  154. border-collapse: collapse;
  155. }
  156. tr.scedit {
  157. vertical-align: top;
  158. }
  159. table.scedit td {
  160. border-color: #000;
  161. border-radius: 0%;
  162. border-style: solid;
  163. border-width: 0px;
  164. padding-bottom: 1ex;
  165. vertical-align: top;
  166. }
  167. table.scedit img {
  168. max-width: 100%;
  169. margin-left: 0px;
  170. margin-right: 0px;
  171. box-shadow: 4px 4px 2px #bbb;
  172. }
  173. .application, .eclipse-view, .guibutton, .guimenuitem, .sct-state, .sct-variable, .sct-event, .sct-trigger {
  174. font-style: italic;
  175. }
  176. .application-ysct {
  177. font-weight: bold;
  178. color: #555566;
  179. }
  180. .note {
  181. padding-left: 1em;
  182. border-style: solid;
  183. border-width: 1px;
  184. border-color: black;
  185. background: #d0d0d0;
  186. font-size: 50%;
  187. line-height: 100%;
  188. margin-top: 0ex;
  189. margin-left: 0ex;
  190. margin-right: 0ex;
  191. margin-bottom: 2ex;
  192. }
  193. .warning {
  194. padding-left: 1em;
  195. border-style: solid;
  196. border-width: 1px;
  197. border-color: black;
  198. background: #ffd0d0;
  199. margin-top: 0ex;
  200. margin-left: 0ex;
  201. margin-right: 0ex;
  202. margin-bottom: 2ex;
  203. }
  204. .note h3 {
  205. font-size: 60%;
  206. line-height: 100%;
  207. }
  208. /* Settings for "synopsys" sub-elements: */
  209. pre.synopsis code.literal {
  210. font-weight: bold;
  211. font-style: normal;
  212. }
  213. pre.synopsis code.varname {
  214. font-weight: normal;
  215. font-style: italic;
  216. }
  217. pre {
  218. line-height: 100%;
  219. }
  220. div.example {
  221. padding-left: 2%;
  222. padding-right: 2%;
  223. padding-top: 2%;
  224. padding-bottom: 1%;
  225. border-style: solid;
  226. border-width: 1px;
  227. }
  228. .to-be-written {
  229. background-color: yellow;
  230. }
  231. body {counter-reset: h1}
  232. h1 {counter-reset: h2}
  233. h2 {counter-reset: h3}
  234. h3 {counter-reset: h4}
  235. h4 {counter-reset: h5}
  236. h5 {counter-reset: h6}
  237. h1:before {counter-increment: h1; content: counter(h1) ". "}
  238. h2:before {counter-increment: h2; content: counter(h1) "." counter(h2) ". "}
  239. h3:before {counter-increment: h3; content: counter(h1) "." counter(h2) "." counter(h3) ". "}
  240. h4:before {counter-increment: h4; content: counter(h1) "." counter(h2) "." counter(h3) "." counter(h4) ". "}
  241. h5:before {counter-increment: h5; content: counter(h1) "." counter(h2) "." counter(h3) "." counter(h4) "." counter(h5) ". "}
  242. h6:before {counter-increment: h6; content: counter(h1) "." counter(h2) "." counter(h3) "." counter(h4) "." counter(h5) "." counter(h6) ". "}
  243. h1.nocount:before h2.nocount:before, h3.nocount:before, h4.nocount:before, h5.nocount:before, h6.nocount:before { content: ""; counter-increment: none }