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 {
34 border-top: 1px solid #DDD;
49 background-color: whiteSmoke;
50 border: 1px solid #EEE;
51 border: 1px solid rgba(0, 0, 0, 0.05);
52 -webkit-border-radius: 4px;
53 -moz-border-radius: 4px;
56 .file .header .btn-mini {
66 div.annotations div.alert {
74 ul.history li.active {
75 background-color: #EEE;
79 font-family: monospace;
87 form textarea.content {
89 box-sizing: border-box;
90 font-family: monospace;
93 box-sizing: border-box;
95 form .allwidth label {
99 form input#description {
100 box-sizing: border-box;