padding: 0.2em 1em;
}
+/*
ul {
margin: 20px;
padding: 0;
margin: 0;
padding: 0;
list-style: none;
-}
+} */
a {
text-decoration: none;
height: 26px;
}
-
.panel-toolbar .toolbar-button-groups-container .panel-toolbar-extra button {
/* this is uber specific */
font-size: 12px;
background-color: yellow;
border-color: yellow;
}
+
+/* Commit dialog */
+#commit-dialog-error-empty-message {
+ color: red;
+ display: none;
+ font-weight: bold;
+}
+
+text#commit-dialog-message {
+ width: 80%;
+ margin: auto;
+}
+
+#split-dialog .container-box form {
+ margin: 0.2em 1em;
+}
+
+#split-dialog .container-box fieldset {
+ margin: 0.5em;
+}
+
+.CodeMirror-line-numbers
+{
+ text-align: right;
+ padding-top: 0.4em;
+ padding-right: 2px;
+ width: 28px;
+ font-size: 10pt;
+ background: black;
+ color: white;
+}
\ No newline at end of file