Pull requests.

[redakcja.git] / project / static / css / master.css

diff --git a/project/static/css/master.css b/project/static/css/master.css
index 33a9f68..b413b2c 100644 (file)
--- a/project/static/css/master.css
+++ b/project/static/css/master.css
@@ -190,7 +190,6 @@ label {
     height: 26px;
 }
 
-
 .panel-toolbar .toolbar-button-groups-container .panel-toolbar-extra button {
     /* this is uber specific */
     font-size: 12px;
@@ -323,3 +322,34 @@ div.isection p {
     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