8 border: 2px solid gray;
10 -moz-border-radius: 5px;
11 -webkit-border-radius: 5px;
12 background-color: white;
16 ul.doc-example > li.doc-example-heading {
36 form.jsfiddle button {
40 background-color: #FFF;
43 border-color: #7989D6;
44 -moz-border-radius: 8px;
45 -webkit-border-radius:8px;
49 form.jsfiddle textarea, form.jsfiddle input {
58 div.syntaxhighlighter {
59 padding-bottom: 1px !important; /* fix to remove unnecessary scrollbars http://is.gd/gSMgC */
62 /* TABS - tutorial environment navigation */
71 display: inline-block;
75 div.tabs-nav ul li.current a {
77 text-decoration: none;
80 div.tabs-nav ul li.current {
82 -moz-box-shadow: 4px 4px 6px #48577D;
83 -moz-border-radius-topright: 8px;
84 -moz-border-radius-topleft: 8px;
85 box-shadow: 4px 4px 6px #48577D;
86 border-radius-topright: 8px;
87 border-radius-topleft: 8px;
88 -webkit-box-shadow: 4px 4px 6px #48577D;
89 -webkit-border-top-right-radius: 8px;
90 -webkit-border-top-left-radius: 8px;
91 border-top-right-radius: 8px;
92 border-top-left-radius: 8px;
99 -moz-border-radius: 8px;
101 -webkit-border-radius: 8px;
104 div.tabs-content-inner {
109 -moz-border-radius: 6px;
110 -webkit-border-radius: 6px;
114 /* Tutorial Nav Bar */
117 margin: 0.5em 0 1em 0;
119 list-style-type: none;
122 -moz-border-radius: 15px;
123 -webkit-border-radius: 15px;
126 -moz-box-shadow: 4px 4px 6px #48577D;
127 -webkit-box-shadow: 4px 4px 6px #48577D;
128 box-shadow: 4px 4px 6px #48577D;
137 #tutorial-nav a:link, #tutorial-nav a:visited {
140 text-decoration: none;
142 display: inline-block;
148 #tutorial-nav a:hover {