custom.css 6.3 KB

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