Fossil SCM

CSS which should have been in the previous commit.

stephan 2020-05-11 12:02 fileedit-ajaxify
Commit b49df0b99112050c2fe458ccf6b340f972382e18c036bd37b9aa553b52684a5b
1 file changed +27
--- src/default_css.txt
+++ src/default_css.txt
@@ -1031,13 +1031,40 @@
10311031
justify-content: center;
10321032
align-items: center;
10331033
}
10341034
.fileedit-options.flex-container.flex-row {
10351035
align-items: first baseline;
1036
+}
1037
+.flex-container .flex-grow {
1038
+ flex-grow: 10;
1039
+ flex-shrink: 0;
1040
+}
1041
+.flex-container .flex-shrink {
1042
+ flex-grow: 0;
1043
+ flex-shrink: 10;
10361044
}
10371045
.fileedit-options > div > * {
10381046
margin: 0.25em;
1047
+}
1048
+#fileedit-file-selector {
1049
+ display: flex;
1050
+ flex-direction: column;
1051
+ align-content: flex-start;
1052
+ border-color: inherit;
1053
+ border-width: 1px;
1054
+ border-style: inset;
1055
+ border-radius: 0.5em;
1056
+ padding: 0 0.25em;
1057
+ margin: 0;
1058
+ min-height: 12em;
1059
+}
1060
+#fileedit-file-selector select {
1061
+ height: initial;
1062
+ font-family: monospace;
1063
+}
1064
+#fileedit-file-selector select:focus {
1065
+ border: none;
10391066
}
10401067
.flex-container.flex-row.stretch {
10411068
flex-direction: row;
10421069
flex-wrap: wrap;
10431070
align-items: stretch;
10441071
--- src/default_css.txt
+++ src/default_css.txt
@@ -1031,13 +1031,40 @@
1031 justify-content: center;
1032 align-items: center;
1033 }
1034 .fileedit-options.flex-container.flex-row {
1035 align-items: first baseline;
 
 
 
 
 
 
 
 
1036 }
1037 .fileedit-options > div > * {
1038 margin: 0.25em;
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1039 }
1040 .flex-container.flex-row.stretch {
1041 flex-direction: row;
1042 flex-wrap: wrap;
1043 align-items: stretch;
1044
--- src/default_css.txt
+++ src/default_css.txt
@@ -1031,13 +1031,40 @@
1031 justify-content: center;
1032 align-items: center;
1033 }
1034 .fileedit-options.flex-container.flex-row {
1035 align-items: first baseline;
1036 }
1037 .flex-container .flex-grow {
1038 flex-grow: 10;
1039 flex-shrink: 0;
1040 }
1041 .flex-container .flex-shrink {
1042 flex-grow: 0;
1043 flex-shrink: 10;
1044 }
1045 .fileedit-options > div > * {
1046 margin: 0.25em;
1047 }
1048 #fileedit-file-selector {
1049 display: flex;
1050 flex-direction: column;
1051 align-content: flex-start;
1052 border-color: inherit;
1053 border-width: 1px;
1054 border-style: inset;
1055 border-radius: 0.5em;
1056 padding: 0 0.25em;
1057 margin: 0;
1058 min-height: 12em;
1059 }
1060 #fileedit-file-selector select {
1061 height: initial;
1062 font-family: monospace;
1063 }
1064 #fileedit-file-selector select:focus {
1065 border: none;
1066 }
1067 .flex-container.flex-row.stretch {
1068 flex-direction: row;
1069 flex-wrap: wrap;
1070 align-items: stretch;
1071

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button