custom.css 6.5 KB

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