1 /* show IDs for anchors */
7 h1[id]:hover a.anchorlink:before,
8 h2[id]:hover a.anchorlink:before,
9 h3[id]:hover a.anchorlink:before,
10 h4[id]:hover a.anchorlink:before,
11 h5[id]:hover a.anchorlink:before,
12 h6[id]:hover a.anchorlink:before {
13 content: "\00B6";/* pilcrow */
18 text-decoration: none;
26 text-shadow: 0 0 30px rgba(255, 255, 255, .9);
28 .navbar li a.brand:hover {
32 @media (min-width: 980px) and (max-width: 1199px) {
38 @media (min-width: 768px) and (max-width: 979px) {
44 .navbar + .container {
51 border-top: 1px solid #DDD;
72 padding: 0ex 0ex 0ex 1ex;
74 background-color: whiteSmoke;
75 border: 1px solid #EEE;
76 border: 1px solid rgba(0, 0, 0, 0.05);
77 -webkit-border-radius: 4px;
78 -moz-border-radius: 4px;
85 .file .header .btn-mini {
100 background-color: inherit;
105 font: normal normal 1em/1.2em monospace;
118 div.annotations div.alert {
126 ul.history li.active {
127 background-color: #EEE;
131 font-family: monospace;
143 form textarea.content {
145 box-sizing: border-box;
146 font-family: monospace;
153 .content-details .additional-btn {
157 box-sizing: border-box;
159 form .allwidth label {
163 form input#description {
164 box-sizing: border-box;
173 .form-horizontal .control-label {
178 .form-horizontal .controls {
182 input.fullwidthtext {
184 box-sizing: border-box;
188 .btn [class^="icon-"], .btn [class*=" icon-"] {
192 .content-padding-fix {