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;
25 text-shadow: 0 0 30px rgba(255, 255, 255, .9);
27 .navbar .brand:hover {
37 border-top: 1px solid #DDD;
57 padding: 0ex 0ex 0ex 1ex;
59 background-color: whiteSmoke;
60 border: 1px solid #EEE;
61 border: 1px solid rgba(0, 0, 0, 0.05);
62 -webkit-border-radius: 4px;
63 -moz-border-radius: 4px;
70 .file .header .btn-mini {
80 div.annotations div.alert {
88 ul.history li.active {
89 background-color: #EEE;
93 font-family: monospace;
110 width: 590px !important;
116 form textarea.content {
118 box-sizing: border-box;
119 font-family: monospace;
126 .content-details .additional-btn {
130 box-sizing: border-box;
132 form .allwidth label {
136 form input#description {
137 box-sizing: border-box;