123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262 |
- @CHARSET "ISO-8859-1";
- #seperator {
- height: 60px;
- overflow: hidden;
- margin-bottom: 25px;
- background-image: -webkit-gradient(linear, 0 100%, 100% 0, color-stop(0.25, rgba(255, 255,
- 255, 0.15) ), color-stop(0.25, transparent),
- color-stop(0.5, transparent),
- color-stop(0.5, rgba(255, 255, 255, 0.15) ),
- color-stop(0.75, rgba(255, 255, 255, 0.15) ),
- color-stop(0.75, transparent), to(transparent) );
- background-image: -webkit-linear-gradient(135deg, rgba(255, 255, 255, 0.15)
- 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, 0.15) 50%,
- rgba(255, 255, 255, 0.15) 75%, transparent 75%, transparent );
- background-image: -moz-linear-gradient(135deg, rgba(255, 255, 255, 0.15)
- 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, 0.15) 50%,
- rgba(255, 255, 255, 0.15) 75%, transparent 75%, transparent );
- background-image: -o-linear-gradient(135deg, rgba(255, 255, 255, 0.15)
- 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, 0.15) 50%,
- rgba(255, 255, 255, 0.15) 75%, transparent 75%, transparent );
- background-image: linear-gradient(135deg, rgba(255, 255, 255, 0.15) 25%,
- transparent 25%, transparent 50%, rgba(255, 255, 255, 0.15) 50%,
- rgba(255, 255, 255, 0.15) 75%, transparent 75%, transparent );
- -webkit-background-size: 60px 60px;
- -moz-background-size: 60px 60px;
- -o-background-size: 60px 60px;
- background-size: 60px 60px;
- z-index: 1000;
- }
- .modal {
- position: fixed;
- left: 50%;
- right : 50%;
- width : 1000px;
- margin: -420px 0 0 -500px;
- }
- .modal-body {
- max-height: 730px;
- }
- .twitter-follow-button {
- padding: 5px;
- }
- .
- .green {
- background-color: rgba(126, 181, 25, 0.45);
- }
- .blue {
- background-color: rgba(7, 46, 99, 0.45);
- }
- .orange {
- background-color: rgba(247, 169, 15, 0.45);
- }
- .white {
- background-color: white;
- }
- .shadowed {
- -webkit-box-shadow: 0 3px 7px rgba(0, 0, 0, 0.3);
- -moz-box-shadow: 0 3px 7px rgba(0, 0, 0, 0.3);
- box-shadow: 0 3px 7px rgba(0, 0, 0, 0.3);
- }
- .wrapping {
- padding: 20px;
- -webkit-border-radius: 6px;
- -moz-border-radius: 6px;
- border-radius: 6px;
- }
- .small {
- width: 270px;
- height: 180px;
- }
- #bgimg {
- background: #bee2fc
- url(http://www.yakindu.org/wp-content/themes/yakindu/layout/images/Hintergrund-oben.jpg)
- top center no-repeat;
- }
- #screencast {
- height: 320px;
- width: 440px;
- background-image: url("http://www.itemis.com/binary.ashx?id=43434");
- background-position: center;
- z-index: 8;
- }
- #glass-effect {
- padding-top: 40px;
- background-image: url(img/pattern1.jpg) top left;
- background-color: rgba(238, 238, 238, 0.6);
- }
- .screencast_overlay:hover {
- opacity: 1;
- filter: alpha(opacity = 100);
- }
- .screencast_overlay {
- height: 100%;
- width: 100%;
- opacity: 0.4;
- filter: alpha(opacity = 40);
- background: url("../img/player_play.png") center center no-repeat;
- z-index: 10;
- }
- body {
- margin: 2%;
- }
- /* Styling of figures. By default, a figure is rendered as a <div class="figure"> … <img … /> </div> */
- .figure {
- text-align: center;
- }
- img {
- max-width: 60%;
- height: auto;
- text-align: center;
- display: block;
- margin-left: auto;
- margin-right: auto;
- }
- .standard-image {
- width:80.0%;
- height:auto;
- box-shadow: 10px 10px 20px #888888;
- }
- .inlinemediaobject {
- display: inline;
- }
- /* Tables */
- .informaltable td {
- border-color: #000;
- border-radius: 0%;
- border-style: solid;
- border-width: 1px;
- padding: 1ex;
- vertical-align: top;
- }
- /* The class "scedit" is used in tables describing working with the statechart editor.
- These tables typically consist of two columns with a textual description in the
- left column and a screenshot on the right. */
- table.scedit {
- width: auto;
- border-collapse: collapse;
- }
- tr.scedit {
- vertical-align: top;
- }
- table.scedit td {
- border-color: #000;
- border-radius: 0%;
- border-style: solid;
- border-width: 0px;
- padding-bottom: 1ex;
- vertical-align: top;
- }
- table.scedit img {
- max-width: 100%;
- margin-left: 0px;
- margin-right: 0px;
- box-shadow: 4px 4px 2px #bbb;
- }
- .application, .eclipse-view, .guibutton, .guimenuitem, .sct-state, .sct-variable, .sct-event, .sct-trigger {
- font-style: italic;
- }
- .application-ysct {
- font-weight: bold;
- color: #555566;
- }
- .note {
- padding-left: 1em;
- border-style: solid;
- border-width: 1px;
- border-color: black;
- background: #d0d0d0;
- font-size: 50%;
- line-height: 100%;
- margin-top: 0ex;
- margin-left: 0ex;
- margin-right: 0ex;
- margin-bottom: 2ex;
- }
- .warning {
- padding-left: 1em;
- border-style: solid;
- border-width: 1px;
- border-color: black;
- background: #ffd0d0;
- margin-top: 0ex;
- margin-left: 0ex;
- margin-right: 0ex;
- margin-bottom: 2ex;
- }
- .note h3 {
- font-size: 60%;
- line-height: 100%;
- }
- /* Settings for "synopsys" sub-elements: */
- pre.synopsis code.literal {
- font-weight: bold;
- font-style: normal;
- }
- pre.synopsis code.varname {
- font-weight: normal;
- font-style: italic;
- }
- pre {
- line-height: 100%;
- }
- div.example {
- padding-left: 2%;
- padding-right: 2%;
- padding-top: 2%;
- padding-bottom: 1%;
- border-style: solid;
- border-width: 1px;
- }
- .to-be-written {
- background-color: yellow;
- }
|