/* show IDs for anchors */
+a.anchorlink:before {
+ font-size: smaller;
+ content: '_';
+ color: transparent;
+}
h1[id]:hover a.anchorlink:before,
h2[id]:hover a.anchorlink:before,
h3[id]:hover a.anchorlink:before,
margin-left: 0.5em;
font-size: smaller;
}
+.navbar .brand {
+ /*float: right;*/
+ color: yellow;
+ text-shadow: 0 1px 0 rgba(255, 255, 255, .1), 0 0 30px rgba(255, 255, 255, .125);
+}
+
+.file {
+ margin-top: 2em;
+
+}
+.file .header {
+ padding: 1.0ex;
+ margin-bottom: 1em;
+ background-color: whiteSmoke;
+ border: 1px solid #EEE;
+ border: 1px solid rgba(0, 0, 0, 0.05);
+ -webkit-border-radius: 4px;
+ -moz-border-radius: 4px;
+ border-radius: 4px;
+}
+.file .code {
+ margin-left: 2em;
+}
+ul.pager {
+ margin-top: 2ex;
+}
+
+form textarea.content {
+ width: 100%;
+ box-sizing: border-box;
+}
+form .allwidth {
+ box-sizing: border-box;
+}
+form .allwidth label {
+ width: 20%;
+ float: left;
+}
+form input#description {
+ box-sizing: border-box;
+ height: 2em;
+ width: 100%;
+}
\ No newline at end of file