Fossil

Diff
Login

Diff

Annotate Patch Side-by-side Diff

Differences From Artifact [056912cf54]:

To Artifact [879acc48ae]:

︙
915
916
917
918
919
920
921
922


923
924


925








926
927

928
929
930
931




932
933
934
935

936
937

938
939

940
941
942
943
944
945
946

947
948
949
950

951
952
953

954
955
956

957
958
959
960
961
962
963
964
965
966
967
968

915
916
917
918
919
920
921

922
923
924

925
926
927
928
929
930
931
932
933
934
935
936

937



938
939
940
941
942
943
944
945

946
947
948
949
950

951
952
953
954
955
956
957

958
959
960
961

962
963
964

965
966
967

968
969
970



971
972
973
974
975
976
977








-
+
+

-
+
+

+
+
+
+
+
+
+
+

-
+
-
-
-

+
+
+
+



-
+


+

-
+






-
+



-
+


-
+


-
+


-
-
-








.tab-container > .tab-bar {
  display: flex;
  flex-direction: row;
  flex: 1 10 auto;
  align-self: stretch;
  flex-wrap: wrap;
}
.tab-container > .tab-bar > button {
.tab-container > .tab-bar > .tab-button {
  display: inline-block;
  border-radius: 0.5em 0.5em 0 0;
  margin: 0.5em 0.5em 0 0.5em;
  margin: 0 0.1em;
  padding: 0.25em 0.75em;
  align-self: baseline;
  border-color: inherit;
  border-width: 1px;
  border-bottom: none;
  border-top-style: inset;
  border-left-style: inset;
  border-right-style: inset;
  cursor: pointer;
  opacity: 0.6;
}
.tab-container > .tab-bar > button.selected {
.tab-container > .tab-bar > .tab-button.selected {
  font-style: italic;
  font-weight: bold;
  margin: 0 0.5em;
  text-decoration: underline;
  opacity: 1.0;
  border-top-style: outset;
  border-left-style: outset;
  border-right-style: outset;
}
//////////////////////////////////
// Styles for /fileedit:
form.fileedit textarea {
textarea.fileedit {
  font-family: monospace;
  width: 100%;
  flex: 10 1 auto;
}
form.fileedit fieldset {
body.fileedit fieldset {
  margin: 0.5em 0 0.5em 0;
  border-radius: 0.5em;
  border-color: inherit;
  border-width: 1px;
  font-size: 85%;
}
form.fileedit fieldset > legend {
body.fileedit fieldset > legend {
  margin: 0 0 0 1em;
  padding: 0 0.5em 0 0.5em;
}
form.fileedit fieldset > div {
body.fileedit fieldset > div {
  margin: 0 0.25em 0.25em 0.25em;
}
form.fileedit fieldset > div > .input-with-label {
body.fileedit fieldset > div > .input-with-label {
  margin: 0.25em 0.5em;
}
form.fileedit fieldset > div > button {
body.fileedit fieldset > div > button {
  margin: 0.25em 0.5em;
}
form.fileedit input:invalid {
  border-left: 0.2em dashed red;
}
.fileedit-hint {
  font-size: 80%;
  opacity: 0.75;
}
.fileedit-error-report {
  background: yellow;
  color: darkred;
︙