Fossil SCM

Moved fileedit-specific CSS to style.fileedit.css, as enabled by previous commit [d661c12cbade].

stephan 2020-05-17 03:32 fileedit-ajaxify
Commit 95f1753ffbbc087695bad1e653903fca8b009540c79fcb2b1bf48f1f5ce18157
Parent d661c12cbadef06…
6 files changed +1 -309 +1 +1 +254 +1 +1
~ src/default_css.txt ~ src/main.mk ~ src/makemake.tcl + src/style.fileedit.css ~ win/Makefile.mingw ~ win/Makefile.msc
M src/default_css.txt
+1 -309
--- src/default_css.txt
+++ src/default_css.txt
@@ -860,98 +860,10 @@
860860
 // }
861861
 // #setup_skinedit_css_defaults > tbody > tr > td:nth-of-type(2) > div {
862862
 // max-width: 30em;
863863
 // overflow: auto;
864864
 // }
865
-
866
-//////////////////////////////////
867
-// Styles for fossil.tabs.js:
868
-.tab-container {
869
- width: 100%;
870
- display: flex;
871
- flex-direction: column;
872
- align-items: stretch;
873
-}
874
-.tab-container > #fossil-status-bar {
875
- margin-top: 0;
876
-}
877
-.tab-container > .tabs {
878
- padding: 0.25em;
879
- margin: 0;
880
- display: flex;
881
- flex-direction: column;
882
- border-width: 1px;
883
- border-style: outset;
884
- border-color: inherit;
885
-}
886
-.tab-container > .tabs > .tab-panel {
887
- align-self: stretch;
888
- flex: 10 1 auto;
889
- display: block;
890
-}
891
-.tab-container > .tab-bar {
892
- display: flex;
893
- flex-direction: row;
894
- flex: 1 10 auto;
895
- align-self: stretch;
896
- flex-wrap: wrap;
897
-}
898
-.tab-container > .tab-bar > .tab-button {
899
- display: inline-block;
900
- border-radius: 0.5em 0.5em 0 0;
901
- margin: 0 0.1em;
902
- padding: 0.25em 0.75em;
903
- align-self: baseline;
904
- border-color: inherit;
905
- border-width: 1px;
906
- border-bottom: none;
907
- border-top-style: inset;
908
- border-left-style: inset;
909
- border-right-style: inset;
910
- cursor: pointer;
911
- opacity: 0.6;
912
-}
913
-.tab-container > .tab-bar > .tab-button.selected {
914
- text-decoration: underline;
915
- opacity: 1.0;
916
- border-top-style: outset;
917
- border-left-style: outset;
918
- border-right-style: outset;
919
-}
920
-
921
-////////////////////////////////////////////////////////////////////
922
-// Styles developed for /fileedit but which have wider
923
-// applicability:
924
-.flex-container {
925
- display: flex;
926
-}
927
-.flex-container.flex-row {
928
- flex-direction: row;
929
- flex-wrap: wrap;
930
- justify-content: center;
931
- align-items: center;
932
-}
933
-.flex-container .flex-grow {
934
- flex-grow: 10;
935
- flex-shrink: 0;
936
-}
937
-.flex-container .flex-shrink {
938
- flex-grow: 0;
939
- flex-shrink: 10;
940
-}
941
-#fossil-status-bar {
942
- display: block;
943
- font-family: monospace;
944
- border-width: 1px;
945
- border-style: inset;
946
- border-color: inherit;
947
- min-height: 1.5em;
948
- font-size: 1.2em;
949
- padding: 0.2em;
950
- margin: 0.25em 0;
951
- flex: 0 0 auto;
952
-}
953865
 .error {
954866
 color: darkred;
955867
 background: yellow;
956868
 }
957869
 .warning {
@@ -961,227 +873,7 @@
961873
 }
962874
 .hidden {
963875
 position: absolute;
964876
 opacity: 0;
965877
 pointer-events: none;
966
-}
967
-.flex-container.flex-row.stretch {
968
- flex-wrap: wrap;
969
- align-items: baseline;
970
- justify-content: stretch;
971
- margin: 0;
972
-}
973
-.flex-container.flex-column {
974
- flex-direction: column;
975
- flex-wrap: wrap;
976
- justify-content: center;
977
- align-items: center;
978
-}
979
-.flex-container.flex-column.stretch {
980
- align-items: stretch;
981
- margin: 0;
982
-}
983
-.flex-container.child-gap-small > * {
984
- margin: 0.25em;
985
-}
986
-.font-size-100 {
987
- font-size: 100%;
988
-}
989
-.font-size-125 {
990
- font-size: 125%;
991
-}
992
-.font-size-150 {
993
- font-size: 150%;
994
-}
995
-.font-size-175 {
996
- font-size: 175%;
997
-}
998
-.font-size-200 {
999
- font-size: 200%;
1000
-}
1001
-
1002
-//////////////////////////////////////////////////////////////////
1003
-// .input-with-label is intended to be a wrapper element which
1004
-// contains a SPAN label and an INPUT control.
1005
-.input-with-label {
1006
- border: 1px inset #808080;
1007
- border-radius: 0.5em;
1008
- padding: 0.25em 0.4em;
1009
- margin: 0 0.5em;
1010
- display: inline-block;
1011
- cursor: default;
1012
-}
1013
-.input-with-label > * {
1014
- vertical-align: middle;
1015
-}
1016
-.input-with-label > input {
1017
- margin: 0;
1018
-}
1019
-.input-with-label > button {
1020
- margin: 0;
1021
-}
1022
-.input-with-label > select {
1023
- margin: 0;
1024
-}
1025
-.input-with-label > input[type=text] {
1026
- margin: 0;
1027
-}
1028
-.input-with-label > textarea {
1029
- margin: 0;
1030
-}
1031
-.input-with-label > input[type=checkbox] {
1032
- vertical-align: sub;
1033
-}
1034
-.input-with-label > input[type=radio] {
1035
- vertical-align: sub;
1036
-}
1037
-.input-with-label > label {
1038
- font-weight: initial;
1039
- margin: 0 0.25em 0 0.25em;
1040
- vertical-align: middle;
1041
-}
1042
-
1043
-////////////////////////////////////////////////////////////
1044
-// Styles for /fileedit:
1045
-// body.fileedit => /fileedit page
1046
-body.fileedit .error {
1047
- padding: 0.25em;
1048
-}
1049
-body.fileedit .warning {
1050
- padding: 0.25em;
1051
-}
1052
-body.fileedit textarea {
1053
- font-family: monospace;
1054
- width: 100%;
1055
- flex: 10 1 auto;
1056
- height: initial;
1057
-}
1058
-body.fileedit fieldset {
1059
- margin: 0.5em 0 0.5em 0;
1060
- padding: 0.25em 0;
1061
- border-radius: 0.5em;
1062
- border-color: inherit;
1063
- border-width: 1px;
1064
- font-size: 90%;
1065
- overflow: auto;
1066
-}
1067
-body.fileedit fieldset > legend {
1068
- margin: 0 0 0 1em;
1069
- padding: 0 0.5em 0 0.5em;
1070
-}
1071
-body.fileedit fieldset > div {
1072
- margin: 0 0.25em 0 0.25em;
1073
- padding: 0;
1074
- overflow: auto;
1075
-}
1076
-body.fileedit fieldset > div > .input-with-label {
1077
- margin: 0.25em 0.5em;
1078
-}
1079
-body.fileedit fieldset > div > button {
1080
- margin: 0.25em 0.5em;
1081
-}
1082
-body.fileedit .fileedit-hint {
1083
- font-size: 80%;
1084
- opacity: 0.75;
1085
-}
1086
-body.fileedit .fileedit-error-report {
1087
- background: yellow;
1088
- color: darkred;
1089
- margin: 1em 0;
1090
- padding: 0.5em;
1091
- border-radius: 0.5em;
1092
-}
1093
-body.fileedit code.fileedit-manifest {
1094
- display: block;
1095
- height: 16em;
1096
- overflow: auto;
1097
- white-space: pre;
1098
-}
1099
-body.fileedit div.fileedit-preview {
1100
- margin: 0;
1101
- padding: 0;
1102
-}
1103
-body.fileedit #fileedit-tab-diff-wrapper {
1104
- margin: 0;
1105
- padding: 0;
1106
- overflow: auto;
1107
-}
1108
-body.fileedit #fileedit-tab-preview-wrapper {
1109
- overflow: auto;
1110
-}
1111
-body.fileedit .fileedit-options.commit-message > div {
1112
- display: flex;
1113
- flex-direction: column;
1114
- justify-content: stretch;
1115
- font-family: monospace;
1116
-}
1117
-body.fileedit .fileedit-options.commit-message > div > * {
1118
- margin: 0.25em;
1119
-}
1120
-body.fileedit #fileedit-commit-button-wrapper {
1121
- margin: 0.25em;
1122
-}
1123
-body.fileedit .tab-container > .tabs > .tab-panel > .fileedit-options {
1124
- margin-top: 0;
1125
- border: none;
1126
- border-radius: 0;
1127
- border-bottom-width: 1px;
1128
- border-bottom-style: dotted;
1129
-}
1130
-body.fileedit .tab-container > .tabs > .tab-panel > .fileedit-options > button {
1131
- vertical-align: middle;
1132
- margin: 0.5em;
1133
-}
1134
-body.fileedit .tab-container > .tabs > .tab-panel > .fileedit-options > input {
1135
- vertical-align: middle;
1136
- margin: 0.5em;
1137
-}
1138
-body.fileedit .tab-container > .tabs > .tab-panel > .fileedit-options > .input-with-label {
1139
- vertical-align: middle;
1140
- margin: 0.5em;
1141
-}
1142
-body.fileedit .fileedit-options > div > * {
1143
- margin: 0.25em;
1144
-}
1145
-body.fileedit .fileedit-options.flex-container.flex-row {
1146
- align-items: first baseline;
1147
-}
1148
-body.fileedit #fileedit-file-selector {
1149
- display: flex;
1150
- flex-direction: column;
1151
- align-content: flex-start;
1152
- border-color: inherit;
1153
- border-width: 1px;
1154
- border-style: inset;
1155
- border-radius: 0.5em;
1156
- padding: 0 0.25em;
1157
- margin: 0;
1158
- min-height: 12em;
1159
-}
1160
-body.fileedit #fileedit-file-selector select {
1161
- margin: 0 0 0.5em 0;
1162
- height: initial;
1163
- font-family: monospace;
1164
-}
1165
-body.fileedit select:focus {
1166
- border: none;
1167
-}
1168
-body.fileedit option:focus {
1169
- border: none;
1170
-}
1171
-body.fileedit #fileedit-file-selector > div {
1172
- padding: 0;
1173
- margin: 0;
1174
-}
1175
-body.fileedit #fileedit-file-selector > div > * {
1176
- margin: 0.25em 0.5em 0.25em 0;
1177
-}
1178
-body.fileedit #fileedit-stash-selector {
1179
- border-bottom-width: 1px;
1180
- border-bottom-style: dotted;
1181
- margin: 0.25em;
1182
-}
1183
-body.fileedit #fileedit-stash-selector select {
1184
- margin: 0;
1185
- height: initial;
1186
- font-family: monospace;
878
+ display: none;
1187879
 }
1188880
--- src/default_css.txt
+++ src/default_css.txt
@@ -860,98 +860,10 @@
860 // }
861 // #setup_skinedit_css_defaults > tbody > tr > td:nth-of-type(2) > div {
862 // max-width: 30em;
863 // overflow: auto;
864 // }
865
866 //////////////////////////////////
867 // Styles for fossil.tabs.js:
868 .tab-container {
869 width: 100%;
870 display: flex;
871 flex-direction: column;
872 align-items: stretch;
873 }
874 .tab-container > #fossil-status-bar {
875 margin-top: 0;
876 }
877 .tab-container > .tabs {
878 padding: 0.25em;
879 margin: 0;
880 display: flex;
881 flex-direction: column;
882 border-width: 1px;
883 border-style: outset;
884 border-color: inherit;
885 }
886 .tab-container > .tabs > .tab-panel {
887 align-self: stretch;
888 flex: 10 1 auto;
889 display: block;
890 }
891 .tab-container > .tab-bar {
892 display: flex;
893 flex-direction: row;
894 flex: 1 10 auto;
895 align-self: stretch;
896 flex-wrap: wrap;
897 }
898 .tab-container > .tab-bar > .tab-button {
899 display: inline-block;
900 border-radius: 0.5em 0.5em 0 0;
901 margin: 0 0.1em;
902 padding: 0.25em 0.75em;
903 align-self: baseline;
904 border-color: inherit;
905 border-width: 1px;
906 border-bottom: none;
907 border-top-style: inset;
908 border-left-style: inset;
909 border-right-style: inset;
910 cursor: pointer;
911 opacity: 0.6;
912 }
913 .tab-container > .tab-bar > .tab-button.selected {
914 text-decoration: underline;
915 opacity: 1.0;
916 border-top-style: outset;
917 border-left-style: outset;
918 border-right-style: outset;
919 }
920
921 ////////////////////////////////////////////////////////////////////
922 // Styles developed for /fileedit but which have wider
923 // applicability:
924 .flex-container {
925 display: flex;
926 }
927 .flex-container.flex-row {
928 flex-direction: row;
929 flex-wrap: wrap;
930 justify-content: center;
931 align-items: center;
932 }
933 .flex-container .flex-grow {
934 flex-grow: 10;
935 flex-shrink: 0;
936 }
937 .flex-container .flex-shrink {
938 flex-grow: 0;
939 flex-shrink: 10;
940 }
941 #fossil-status-bar {
942 display: block;
943 font-family: monospace;
944 border-width: 1px;
945 border-style: inset;
946 border-color: inherit;
947 min-height: 1.5em;
948 font-size: 1.2em;
949 padding: 0.2em;
950 margin: 0.25em 0;
951 flex: 0 0 auto;
952 }
953 .error {
954 color: darkred;
955 background: yellow;
956 }
957 .warning {
@@ -961,227 +873,7 @@
961 }
962 .hidden {
963 position: absolute;
964 opacity: 0;
965 pointer-events: none;
966 }
967 .flex-container.flex-row.stretch {
968 flex-wrap: wrap;
969 align-items: baseline;
970 justify-content: stretch;
971 margin: 0;
972 }
973 .flex-container.flex-column {
974 flex-direction: column;
975 flex-wrap: wrap;
976 justify-content: center;
977 align-items: center;
978 }
979 .flex-container.flex-column.stretch {
980 align-items: stretch;
981 margin: 0;
982 }
983 .flex-container.child-gap-small > * {
984 margin: 0.25em;
985 }
986 .font-size-100 {
987 font-size: 100%;
988 }
989 .font-size-125 {
990 font-size: 125%;
991 }
992 .font-size-150 {
993 font-size: 150%;
994 }
995 .font-size-175 {
996 font-size: 175%;
997 }
998 .font-size-200 {
999 font-size: 200%;
1000 }
1001
1002 //////////////////////////////////////////////////////////////////
1003 // .input-with-label is intended to be a wrapper element which
1004 // contains a SPAN label and an INPUT control.
1005 .input-with-label {
1006 border: 1px inset #808080;
1007 border-radius: 0.5em;
1008 padding: 0.25em 0.4em;
1009 margin: 0 0.5em;
1010 display: inline-block;
1011 cursor: default;
1012 }
1013 .input-with-label > * {
1014 vertical-align: middle;
1015 }
1016 .input-with-label > input {
1017 margin: 0;
1018 }
1019 .input-with-label > button {
1020 margin: 0;
1021 }
1022 .input-with-label > select {
1023 margin: 0;
1024 }
1025 .input-with-label > input[type=text] {
1026 margin: 0;
1027 }
1028 .input-with-label > textarea {
1029 margin: 0;
1030 }
1031 .input-with-label > input[type=checkbox] {
1032 vertical-align: sub;
1033 }
1034 .input-with-label > input[type=radio] {
1035 vertical-align: sub;
1036 }
1037 .input-with-label > label {
1038 font-weight: initial;
1039 margin: 0 0.25em 0 0.25em;
1040 vertical-align: middle;
1041 }
1042
1043 ////////////////////////////////////////////////////////////
1044 // Styles for /fileedit:
1045 // body.fileedit => /fileedit page
1046 body.fileedit .error {
1047 padding: 0.25em;
1048 }
1049 body.fileedit .warning {
1050 padding: 0.25em;
1051 }
1052 body.fileedit textarea {
1053 font-family: monospace;
1054 width: 100%;
1055 flex: 10 1 auto;
1056 height: initial;
1057 }
1058 body.fileedit fieldset {
1059 margin: 0.5em 0 0.5em 0;
1060 padding: 0.25em 0;
1061 border-radius: 0.5em;
1062 border-color: inherit;
1063 border-width: 1px;
1064 font-size: 90%;
1065 overflow: auto;
1066 }
1067 body.fileedit fieldset > legend {
1068 margin: 0 0 0 1em;
1069 padding: 0 0.5em 0 0.5em;
1070 }
1071 body.fileedit fieldset > div {
1072 margin: 0 0.25em 0 0.25em;
1073 padding: 0;
1074 overflow: auto;
1075 }
1076 body.fileedit fieldset > div > .input-with-label {
1077 margin: 0.25em 0.5em;
1078 }
1079 body.fileedit fieldset > div > button {
1080 margin: 0.25em 0.5em;
1081 }
1082 body.fileedit .fileedit-hint {
1083 font-size: 80%;
1084 opacity: 0.75;
1085 }
1086 body.fileedit .fileedit-error-report {
1087 background: yellow;
1088 color: darkred;
1089 margin: 1em 0;
1090 padding: 0.5em;
1091 border-radius: 0.5em;
1092 }
1093 body.fileedit code.fileedit-manifest {
1094 display: block;
1095 height: 16em;
1096 overflow: auto;
1097 white-space: pre;
1098 }
1099 body.fileedit div.fileedit-preview {
1100 margin: 0;
1101 padding: 0;
1102 }
1103 body.fileedit #fileedit-tab-diff-wrapper {
1104 margin: 0;
1105 padding: 0;
1106 overflow: auto;
1107 }
1108 body.fileedit #fileedit-tab-preview-wrapper {
1109 overflow: auto;
1110 }
1111 body.fileedit .fileedit-options.commit-message > div {
1112 display: flex;
1113 flex-direction: column;
1114 justify-content: stretch;
1115 font-family: monospace;
1116 }
1117 body.fileedit .fileedit-options.commit-message > div > * {
1118 margin: 0.25em;
1119 }
1120 body.fileedit #fileedit-commit-button-wrapper {
1121 margin: 0.25em;
1122 }
1123 body.fileedit .tab-container > .tabs > .tab-panel > .fileedit-options {
1124 margin-top: 0;
1125 border: none;
1126 border-radius: 0;
1127 border-bottom-width: 1px;
1128 border-bottom-style: dotted;
1129 }
1130 body.fileedit .tab-container > .tabs > .tab-panel > .fileedit-options > button {
1131 vertical-align: middle;
1132 margin: 0.5em;
1133 }
1134 body.fileedit .tab-container > .tabs > .tab-panel > .fileedit-options > input {
1135 vertical-align: middle;
1136 margin: 0.5em;
1137 }
1138 body.fileedit .tab-container > .tabs > .tab-panel > .fileedit-options > .input-with-label {
1139 vertical-align: middle;
1140 margin: 0.5em;
1141 }
1142 body.fileedit .fileedit-options > div > * {
1143 margin: 0.25em;
1144 }
1145 body.fileedit .fileedit-options.flex-container.flex-row {
1146 align-items: first baseline;
1147 }
1148 body.fileedit #fileedit-file-selector {
1149 display: flex;
1150 flex-direction: column;
1151 align-content: flex-start;
1152 border-color: inherit;
1153 border-width: 1px;
1154 border-style: inset;
1155 border-radius: 0.5em;
1156 padding: 0 0.25em;
1157 margin: 0;
1158 min-height: 12em;
1159 }
1160 body.fileedit #fileedit-file-selector select {
1161 margin: 0 0 0.5em 0;
1162 height: initial;
1163 font-family: monospace;
1164 }
1165 body.fileedit select:focus {
1166 border: none;
1167 }
1168 body.fileedit option:focus {
1169 border: none;
1170 }
1171 body.fileedit #fileedit-file-selector > div {
1172 padding: 0;
1173 margin: 0;
1174 }
1175 body.fileedit #fileedit-file-selector > div > * {
1176 margin: 0.25em 0.5em 0.25em 0;
1177 }
1178 body.fileedit #fileedit-stash-selector {
1179 border-bottom-width: 1px;
1180 border-bottom-style: dotted;
1181 margin: 0.25em;
1182 }
1183 body.fileedit #fileedit-stash-selector select {
1184 margin: 0;
1185 height: initial;
1186 font-family: monospace;
1187 }
1188
--- src/default_css.txt
+++ src/default_css.txt
@@ -860,98 +860,10 @@
860 // }
861 // #setup_skinedit_css_defaults > tbody > tr > td:nth-of-type(2) > div {
862 // max-width: 30em;
863 // overflow: auto;
864 // }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
865 .error {
866 color: darkred;
867 background: yellow;
868 }
869 .warning {
@@ -961,227 +873,7 @@
873 }
874 .hidden {
875 position: absolute;
876 opacity: 0;
877 pointer-events: none;
878 display: none;
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
879 }
880
M src/main.mk
+1
--- src/main.mk
+++ src/main.mk
@@ -251,10 +251,11 @@
251251
 $(SRCDIR)/sounds/b.wav \
252252
 $(SRCDIR)/sounds/c.wav \
253253
 $(SRCDIR)/sounds/d.wav \
254254
 $(SRCDIR)/sounds/e.wav \
255255
 $(SRCDIR)/sounds/f.wav \
256
+ $(SRCDIR)/style.fileedit.css \
256257
 $(SRCDIR)/tree.js \
257258
 $(SRCDIR)/useredit.js \
258259
 $(SRCDIR)/wiki.wiki
259260
260261
 TRANS_SRC = \
261262
--- src/main.mk
+++ src/main.mk
@@ -251,10 +251,11 @@
251 $(SRCDIR)/sounds/b.wav \
252 $(SRCDIR)/sounds/c.wav \
253 $(SRCDIR)/sounds/d.wav \
254 $(SRCDIR)/sounds/e.wav \
255 $(SRCDIR)/sounds/f.wav \
 
256 $(SRCDIR)/tree.js \
257 $(SRCDIR)/useredit.js \
258 $(SRCDIR)/wiki.wiki
259
260 TRANS_SRC = \
261
--- src/main.mk
+++ src/main.mk
@@ -251,10 +251,11 @@
251 $(SRCDIR)/sounds/b.wav \
252 $(SRCDIR)/sounds/c.wav \
253 $(SRCDIR)/sounds/d.wav \
254 $(SRCDIR)/sounds/e.wav \
255 $(SRCDIR)/sounds/f.wav \
256 $(SRCDIR)/style.fileedit.css \
257 $(SRCDIR)/tree.js \
258 $(SRCDIR)/useredit.js \
259 $(SRCDIR)/wiki.wiki
260
261 TRANS_SRC = \
262
M src/makemake.tcl
+1
--- src/makemake.tcl
+++ src/makemake.tcl
@@ -176,10 +176,11 @@
176176
 set extra_files {
177177
 diff.tcl
178178
 markdown.md
179179
 wiki.wiki
180180
 *.js
181
+ style.*.css
181182
 ../skins/*/*.txt
182183
 sounds/*.wav
183184
 }
184185
185186
 # Options used to compile the included SQLite library.
186187
187188
ADDED src/style.fileedit.css
--- src/makemake.tcl
+++ src/makemake.tcl
@@ -176,10 +176,11 @@
176 set extra_files {
177 diff.tcl
178 markdown.md
179 wiki.wiki
180 *.js
 
181 ../skins/*/*.txt
182 sounds/*.wav
183 }
184
185 # Options used to compile the included SQLite library.
186
187 DDED src/style.fileedit.css
--- src/makemake.tcl
+++ src/makemake.tcl
@@ -176,10 +176,11 @@
176 set extra_files {
177 diff.tcl
178 markdown.md
179 wiki.wiki
180 *.js
181 style.*.css
182 ../skins/*/*.txt
183 sounds/*.wav
184 }
185
186 # Options used to compile the included SQLite library.
187
188 DDED src/style.fileedit.css
A src/style.fileedit.css
+254
--- a/src/style.fileedit.css
+++ b/src/style.fileedit.css
@@ -0,0 +1,254 @@
1
+/** Styles specific to /f .error {
2
+ padding: 0.25em;
3
+}
4
+body.fileedit .warning {
5
+ padding: 0.25em;
6
+}
7
+body.fileedit textarea {
8
+ font-family: monospace;
9
+ width: calc(100% - 0.5em)
10
+ /*width 100% can cause a scrollbar to appear on the parent*/;
11
+ flex: 1: 0.5em 0 0 0;
12
+}
13
+bit input:focus{
14
+ /* The sudden appearance of a border (as in the Ardoise skin)
15
+ shifts the layout in;
16
+ border-radius: 0.5em;
17
+ border-color: inherit;
18
+ border-width: 1px;
19
+ font-size: 90%;
20
+ overflow: auto;
21
+}
22
+body.fileedit fieldset > legend {
23
+ margin: 0 0 0 1em;
24
+ padding: 0 0.5em 0 0.5em;
25
+}
26
+body.fileedit fieldset > div {
27
+ margin: 0 0.25em 0 0.25em;
28
+ padding: 0;
29
+ overflow: auto;
30
+}
31
+body.fileedit fieldset > div > .input-with-label {
32
+ margin: 0.25em 0.5em;
33
+}
34
+body.fileedit fieldset > div > button {
35
+ margin: 0.25em 0.5em;
36
+}
37
+body.fileedit .fileedit-hint {
38
+ font-size: 80%;
39
+ opacity: 0.75;
40
+}
41
+body.fileedit .fileedit-error-report {
42
+ background: yellow;
43
+ color: darkred;
44
+ margin: 1em 0;
45
+ padding: 0.5em;
46
+ border-radius: 0.5em;
47
+}
48
+body.fileedit code.fileedit-manifest {
49
+ display: block;
50
+ height: 16em;
51
+ overflow: auto;
52
+ white-space: pre;
53
+}
54
+body.fileedit div.filr-style: inset;
55
+ border-radius: 0.5em;
56
+in: 0.25em 0.5em;
57
+}
58
+body.fileedit .fileedit-hint {
59
+ font-size: 80%;
60
+ opacity: 0.75;
61
+}
62
+body.fileedit .fileedit-error-report {
63
+ background: yelck;
64
+ height: 16em;
65
+ overflow: auto;
66
+ white-space: pre;
67
+}
68
+body.rgin: 0;
69
+ padenput:focus{
70
+ /* The sudden appear 1 auto;
71
+}
72
+beedit... */
73
+body.fbel display to block! */ .error {
74
+ padding: 0.25e/** Styles specif/** Styles specific to /f .error {
75
+ padding: 0.25em;
76
+}
77
+body.fileedit .warning {
78
+ padding: 0.25em;
79
+}
80
+body.fileedit textarea {
81
+ font-family: monospace;
82
+ flex: 10 1 auto;
83
+ height: initial/*undo damage from some skins*/;
84
+entually need totextarea:focus,
85
+body.fileedit input:focus{
86
+ /* The sudden appearance of a border (as in the Ardoise skin)
87
+ shifts the layout in;
88
+ border-radius: 0.5em;
89
+ border-color: inherit;
90
+ border-width: 1px;
91
+ font-size: 90%;
92
+ overflow: auto;
93
+}
94
+body.fileedit fieldset > legend {
95
+ margin: 0 0 0 1em;
96
+ padding: 0 0.5em 0 0.5em;
97
+}
98
+body.fileedit fieldset > div {
99
+ margin: 0 0.25em 0 0.25em;
100
+ padding: 0;
101
+ overflow: auto;
102
+}
103
+body.fileedit fieldset > div > .input-with-label {
104
+ margin: 0.25em 0.5em;
105
+}
106
+body.fileedit fieldset > div > button {
107
+ margin: 0.25em 0.5em;
108
+}
109
+body.fileedit .fileedit-hint {
110
+ font-size: 80%;
111
+ opacity: 0.75;
112
+}
113
+body.fileedit .fileedit-error-report {
114
+ background: yellow;
115
+ color: darkred;
116
+ margin: 1em 0;
117
+ padding: 0.5em;
118
+ border-radius: 0.5em;
119
+}
120
+body.fileedit code.fileedit-manifest {
121
+ display: block;
122
+ height: 16em;
123
+ overflow: auto;
124
+ white-space: pre;
125
+}
126
+body.fileedit div.filr-style: inset;
127
+ border-radius: 0.5em;
128
+in: 0.25em 0.5em;
129
+}
130
+body.fileedit .fileedit-hint {
131
+ font-size: 80%;
132
+ opacity: 0.75;
133
+}
134
+body.fileedit .fileedit-error-report {
135
+ background: yelck;
136
+ height: 16em;
137
+ overflow: auto;
138
+ white-space: pre;
139
+}
140
+body.rgin: 0;
141
+ padeedit div.fileedit-preview {
142
+ margin: 0;
143
+ padding: 0;
144
+}
145
+body.fileedit #fileedit-tabs {
146
+ margin: 0.5em 0 0 0;
147
+}
148
+body.fileedit #fileedit-tab-preview-wrapper {
149
+ overflow: auto;
150
+}
151
+body.fileedioverflow: autoed;
152
+ overflow: auto;
153
+etch;
154
+}
155
+body.fileedit #fileedit-tab-0 1 auto;
156
+}
157
+body.fileedit /column;
158
+}
159
+body.fileedit #fileedit-tab- font-size: 1.c to /fileedit... */
160
+body.filee/** Styles specifi/column;
161
+}
162
+body.fileedit #
163
+/**
164
+ Styles for fossil.tabs.js. As of this writing, currently
165
+ only used by /fileedit, but it is anticipated that these
166
+ will eventually nee:ight-style: inset;
167
+ cursor: pointer;
168
+ opacity: 0.6;
169
+}
170
+L@XW,1O:-bar > .tab-button.selected {
171
+ text-decoration: underline;
172
+ opacity: 1.0;
173
+ border-top8@X0,L:outset;
174
+ border-left8@X0,M:outset;
175
+ border-right8@X0,5g:outset;
176
+}
177
+
178
+/**
179
+ Styles developed for /fileedit but which have wider
180
+ applicability...
181
+
182
+ As of this writing, these are only used by /fileedit, but it is
183
+ anticipated that they will eventually need to be migrated over to
184
+ default_css.txt for use in other pages (specifically wiki and forum
185
+ page/post editors).
186
+*/
187
+.flex-container {
188
+ display: flex;
189
+}
190
+T@dq,f@ps,N:justify-content: centerH@wV,2n:center;
191
+}
192
+.flex-container .flex-grow {
193
+ flex-grow: 10;
194
+ flex-shrink: 0;
195
+}
196
+.flex-container .flex-shrink {
197
+ flex-grow: 0;
198
+ flex-shrink: 10;
199
+}
200
+.flex-container.flex-row.stretch {i@qB,18: justify-content: stretch;
201
+ margin: 0;
202
+}
203
+.flex-container.flex-column {T@10A,J@qE,N:justify-content: centerH@wV,k:center;
204
+}
205
+.flex-container.flex-column.stretch {R@RG,h:margin: 0;
206
+}
207
+.flex-container.child-gap-smallN@n~,M:;
208
+}
209
+#fossil-status-barN@Kg,Q@sG,o@gx,t:color: inherit;
210
+ min-height: 1.5em;
211
+ font-size: 1.2em;F@2~,3:em;H@S~,8B: 0;
212
+ flex: 0 0 auto;
213
+}
214
+.font-size-100 {
215
+ font-size: 100%;
216
+}
217
+.font-size-125 {
218
+ font-size: 125%;
219
+}
220
+.font-size-150 {
221
+ font-size: 150%;
222
+}
223
+.font-size-175 {
224
+ font-size: 175%;
225
+}
226
+.font-size-200 {
227
+ font-size: 200%;
228
+}
229
+
230
+/**
231
+ .input-with-label is intended to be a wrapper element which
232
+ contain both a LABEL tag and an INPUT or SELECT control.
233
+ The wrapper is "necessary", as opposed to placing the INPUT
234
+ in the LABEL, so that we can include multiple INPUT
235
+ elements (inpu .error {
236
+ paddi/** Styles specific tobuttonextarea {
237
+ font80K@V~,5:.5em;I@2~,1U:h-label > label {
238
+ display: inline; /* some skins set label display to block! */
239
+}
240
+.input-with-label > input {
241
+ margin: 0;
242
+}
243
+.input-with-label > button {
244
+ margin: 0;
245
+}
246
+.input-with-label >L@rW,2G:;
247
+}
248
+.input-with-label > input[type=text] {
249
+ margin: 0;
250
+}
251
+.input-with-label > textarea {
252
+ margin: 0;
253
+}
254
+.input-wit
--- a/src/style.fileedit.css
+++ b/src/style.fileedit.css
@@ -0,0 +1,254 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
--- a/src/style.fileedit.css
+++ b/src/style.fileedit.css
@@ -0,0 +1,254 @@
1 /** Styles specific to /f .error {
2 padding: 0.25em;
3 }
4 body.fileedit .warning {
5 padding: 0.25em;
6 }
7 body.fileedit textarea {
8 font-family: monospace;
9 width: calc(100% - 0.5em)
10 /*width 100% can cause a scrollbar to appear on the parent*/;
11 flex: 1: 0.5em 0 0 0;
12 }
13 bit input:focus{
14 /* The sudden appearance of a border (as in the Ardoise skin)
15 shifts the layout in;
16 border-radius: 0.5em;
17 border-color: inherit;
18 border-width: 1px;
19 font-size: 90%;
20 overflow: auto;
21 }
22 body.fileedit fieldset > legend {
23 margin: 0 0 0 1em;
24 padding: 0 0.5em 0 0.5em;
25 }
26 body.fileedit fieldset > div {
27 margin: 0 0.25em 0 0.25em;
28 padding: 0;
29 overflow: auto;
30 }
31 body.fileedit fieldset > div > .input-with-label {
32 margin: 0.25em 0.5em;
33 }
34 body.fileedit fieldset > div > button {
35 margin: 0.25em 0.5em;
36 }
37 body.fileedit .fileedit-hint {
38 font-size: 80%;
39 opacity: 0.75;
40 }
41 body.fileedit .fileedit-error-report {
42 background: yellow;
43 color: darkred;
44 margin: 1em 0;
45 padding: 0.5em;
46 border-radius: 0.5em;
47 }
48 body.fileedit code.fileedit-manifest {
49 display: block;
50 height: 16em;
51 overflow: auto;
52 white-space: pre;
53 }
54 body.fileedit div.filr-style: inset;
55 border-radius: 0.5em;
56 in: 0.25em 0.5em;
57 }
58 body.fileedit .fileedit-hint {
59 font-size: 80%;
60 opacity: 0.75;
61 }
62 body.fileedit .fileedit-error-report {
63 background: yelck;
64 height: 16em;
65 overflow: auto;
66 white-space: pre;
67 }
68 body.rgin: 0;
69 padenput:focus{
70 /* The sudden appear 1 auto;
71 }
72 beedit... */
73 body.fbel display to block! */ .error {
74 padding: 0.25e/** Styles specif/** Styles specific to /f .error {
75 padding: 0.25em;
76 }
77 body.fileedit .warning {
78 padding: 0.25em;
79 }
80 body.fileedit textarea {
81 font-family: monospace;
82 flex: 10 1 auto;
83 height: initial/*undo damage from some skins*/;
84 entually need totextarea:focus,
85 body.fileedit input:focus{
86 /* The sudden appearance of a border (as in the Ardoise skin)
87 shifts the layout in;
88 border-radius: 0.5em;
89 border-color: inherit;
90 border-width: 1px;
91 font-size: 90%;
92 overflow: auto;
93 }
94 body.fileedit fieldset > legend {
95 margin: 0 0 0 1em;
96 padding: 0 0.5em 0 0.5em;
97 }
98 body.fileedit fieldset > div {
99 margin: 0 0.25em 0 0.25em;
100 padding: 0;
101 overflow: auto;
102 }
103 body.fileedit fieldset > div > .input-with-label {
104 margin: 0.25em 0.5em;
105 }
106 body.fileedit fieldset > div > button {
107 margin: 0.25em 0.5em;
108 }
109 body.fileedit .fileedit-hint {
110 font-size: 80%;
111 opacity: 0.75;
112 }
113 body.fileedit .fileedit-error-report {
114 background: yellow;
115 color: darkred;
116 margin: 1em 0;
117 padding: 0.5em;
118 border-radius: 0.5em;
119 }
120 body.fileedit code.fileedit-manifest {
121 display: block;
122 height: 16em;
123 overflow: auto;
124 white-space: pre;
125 }
126 body.fileedit div.filr-style: inset;
127 border-radius: 0.5em;
128 in: 0.25em 0.5em;
129 }
130 body.fileedit .fileedit-hint {
131 font-size: 80%;
132 opacity: 0.75;
133 }
134 body.fileedit .fileedit-error-report {
135 background: yelck;
136 height: 16em;
137 overflow: auto;
138 white-space: pre;
139 }
140 body.rgin: 0;
141 padeedit div.fileedit-preview {
142 margin: 0;
143 padding: 0;
144 }
145 body.fileedit #fileedit-tabs {
146 margin: 0.5em 0 0 0;
147 }
148 body.fileedit #fileedit-tab-preview-wrapper {
149 overflow: auto;
150 }
151 body.fileedioverflow: autoed;
152 overflow: auto;
153 etch;
154 }
155 body.fileedit #fileedit-tab-0 1 auto;
156 }
157 body.fileedit /column;
158 }
159 body.fileedit #fileedit-tab- font-size: 1.c to /fileedit... */
160 body.filee/** Styles specifi/column;
161 }
162 body.fileedit #
163 /**
164 Styles for fossil.tabs.js. As of this writing, currently
165 only used by /fileedit, but it is anticipated that these
166 will eventually nee:ight-style: inset;
167 cursor: pointer;
168 opacity: 0.6;
169 }
170 L@XW,1O:-bar > .tab-button.selected {
171 text-decoration: underline;
172 opacity: 1.0;
173 border-top8@X0,L:outset;
174 border-left8@X0,M:outset;
175 border-right8@X0,5g:outset;
176 }
177
178 /**
179 Styles developed for /fileedit but which have wider
180 applicability...
181
182 As of this writing, these are only used by /fileedit, but it is
183 anticipated that they will eventually need to be migrated over to
184 default_css.txt for use in other pages (specifically wiki and forum
185 page/post editors).
186 */
187 .flex-container {
188 display: flex;
189 }
190 T@dq,f@ps,N:justify-content: centerH@wV,2n:center;
191 }
192 .flex-container .flex-grow {
193 flex-grow: 10;
194 flex-shrink: 0;
195 }
196 .flex-container .flex-shrink {
197 flex-grow: 0;
198 flex-shrink: 10;
199 }
200 .flex-container.flex-row.stretch {i@qB,18: justify-content: stretch;
201 margin: 0;
202 }
203 .flex-container.flex-column {T@10A,J@qE,N:justify-content: centerH@wV,k:center;
204 }
205 .flex-container.flex-column.stretch {R@RG,h:margin: 0;
206 }
207 .flex-container.child-gap-smallN@n~,M:;
208 }
209 #fossil-status-barN@Kg,Q@sG,o@gx,t:color: inherit;
210 min-height: 1.5em;
211 font-size: 1.2em;F@2~,3:em;H@S~,8B: 0;
212 flex: 0 0 auto;
213 }
214 .font-size-100 {
215 font-size: 100%;
216 }
217 .font-size-125 {
218 font-size: 125%;
219 }
220 .font-size-150 {
221 font-size: 150%;
222 }
223 .font-size-175 {
224 font-size: 175%;
225 }
226 .font-size-200 {
227 font-size: 200%;
228 }
229
230 /**
231 .input-with-label is intended to be a wrapper element which
232 contain both a LABEL tag and an INPUT or SELECT control.
233 The wrapper is "necessary", as opposed to placing the INPUT
234 in the LABEL, so that we can include multiple INPUT
235 elements (inpu .error {
236 paddi/** Styles specific tobuttonextarea {
237 font80K@V~,5:.5em;I@2~,1U:h-label > label {
238 display: inline; /* some skins set label display to block! */
239 }
240 .input-with-label > input {
241 margin: 0;
242 }
243 .input-with-label > button {
244 margin: 0;
245 }
246 .input-with-label >L@rW,2G:;
247 }
248 .input-with-label > input[type=text] {
249 margin: 0;
250 }
251 .input-with-label > textarea {
252 margin: 0;
253 }
254 .input-wit
M win/Makefile.mingw
+1
--- win/Makefile.mingw
+++ win/Makefile.mingw
@@ -673,10 +673,11 @@
673673
 $(SRCDIR)/sounds/b.wav \
674674
 $(SRCDIR)/sounds/c.wav \
675675
 $(SRCDIR)/sounds/d.wav \
676676
 $(SRCDIR)/sounds/e.wav \
677677
 $(SRCDIR)/sounds/f.wav \
678
+ $(SRCDIR)/style.fileedit.css \
678679
 $(SRCDIR)/tree.js \
679680
 $(SRCDIR)/useredit.js \
680681
 $(SRCDIR)/wiki.wiki
681682
682683
 TRANS_SRC = \
683684
--- win/Makefile.mingw
+++ win/Makefile.mingw
@@ -673,10 +673,11 @@
673 $(SRCDIR)/sounds/b.wav \
674 $(SRCDIR)/sounds/c.wav \
675 $(SRCDIR)/sounds/d.wav \
676 $(SRCDIR)/sounds/e.wav \
677 $(SRCDIR)/sounds/f.wav \
 
678 $(SRCDIR)/tree.js \
679 $(SRCDIR)/useredit.js \
680 $(SRCDIR)/wiki.wiki
681
682 TRANS_SRC = \
683
--- win/Makefile.mingw
+++ win/Makefile.mingw
@@ -673,10 +673,11 @@
673 $(SRCDIR)/sounds/b.wav \
674 $(SRCDIR)/sounds/c.wav \
675 $(SRCDIR)/sounds/d.wav \
676 $(SRCDIR)/sounds/e.wav \
677 $(SRCDIR)/sounds/f.wav \
678 $(SRCDIR)/style.fileedit.css \
679 $(SRCDIR)/tree.js \
680 $(SRCDIR)/useredit.js \
681 $(SRCDIR)/wiki.wiki
682
683 TRANS_SRC = \
684
M win/Makefile.msc
+1
--- win/Makefile.msc
+++ win/Makefile.msc
@@ -580,10 +580,11 @@
580580
 $(SRCDIR)\sounds\b.wav \
581581
 $(SRCDIR)\sounds\c.wav \
582582
 $(SRCDIR)\sounds\d.wav \
583583
 $(SRCDIR)\sounds\e.wav \
584584
 $(SRCDIR)\sounds\f.wav \
585
+ $(SRCDIR)\style.fileedit.css \
585586
 $(SRCDIR)\tree.js \
586587
 $(SRCDIR)\useredit.js \
587588
 $(SRCDIR)\wiki.wiki
588589
589590
 OBJ = $(OX)\add$O \
590591
--- win/Makefile.msc
+++ win/Makefile.msc
@@ -580,10 +580,11 @@
580 $(SRCDIR)\sounds\b.wav \
581 $(SRCDIR)\sounds\c.wav \
582 $(SRCDIR)\sounds\d.wav \
583 $(SRCDIR)\sounds\e.wav \
584 $(SRCDIR)\sounds\f.wav \
 
585 $(SRCDIR)\tree.js \
586 $(SRCDIR)\useredit.js \
587 $(SRCDIR)\wiki.wiki
588
589 OBJ = $(OX)\add$O \
590
--- win/Makefile.msc
+++ win/Makefile.msc
@@ -580,10 +580,11 @@
580 $(SRCDIR)\sounds\b.wav \
581 $(SRCDIR)\sounds\c.wav \
582 $(SRCDIR)\sounds\d.wav \
583 $(SRCDIR)\sounds\e.wav \
584 $(SRCDIR)\sounds\f.wav \
585 $(SRCDIR)\style.fileedit.css \
586 $(SRCDIR)\tree.js \
587 $(SRCDIR)\useredit.js \
588 $(SRCDIR)\wiki.wiki
589
590 OBJ = $(OX)\add$O \
591

Keyboard Shortcuts

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