| ︙ | | |
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
|
508
509
510
511
512
513
514
515
516
517
518
519
520
521
|
-
|
padding: 0;
width: 125px;
text-align: center;
border-collapse: collapse;
border-spacing: 0;
}
table.report {
border-collapse:collapse;
border: 1px solid #999;
margin: 1em 0 1em 0;
cursor: pointer;
}
td.rpteditex {
border-width: thin;
border-color: #000000;
|
| ︙ | | |
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
|
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
|
-
+
|
line-height: 1.275/*for mobile: forum post e6f4ee7de98b55c0*/;
text-size-adjust: none
/* ^^^ attempt to keep mobile from inflating some text */;
}
table.diff pre > ins,
table.diff pre > del {
/* Fill platform-dependent color gaps caused by
inflated line-height */;
inflated line-height */
padding: 0.062em 0 0.062em 0;
}
table.diff pre > ins > *,
table.diff pre > del > *{
/* Avoid odd-looking color swatches in conjunction with
(table.diff pre > ins/del) padding */
padding: inherit;
|
| ︙ | | |
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
|
629
630
631
632
633
634
635
636
637
638
639
640
641
642
|
-
|
}
tr.diffskip.jchunk:hover {
/*background-color: rgba(127,127,127,0.5);
cursor: pointer;*/
}
tr.diffskip > td.chunkctrl {
text-align: left;
font-family: monospace;
}
tr.diffskip > td.chunkctrl > div {
display: flex;
align-items: center;
}
tr.diffskip > td.chunkctrl > div > span.error {
padding: 0.25em 0.5em;
|
| ︙ | | |
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
|
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
|
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
+
+
|
}
tr.diffskip > td.chunkctrl .jcbutton.down > span::before {
content: '⇣';
}
tr.diffskip > td.chunkctrl .jcbutton.up.down > span::before {
content: '⇡⇣';
}
tr.diffskip > td.chunkctrl .jcbutton:hover {
cursor: pointer;
opacity: 1;
filter: contrast(1);
}
tr.diffchunk {
display: grid;
gap: 0px 0px;
grid-template-rows: 1fr;
}
table.splitdiff tr.diffchunk {
grid-template-columns: auto 1fr auto auto 1fr;
grid-template-areas: "difflnl difftxtl diffsep difflnr difftxtr";
}
table.udiff tr.diffchunk {
grid-template-columns: auto auto auto 1fr;
grid-template-areas: "difflnl difflnr diffsep difftxtu";
}
td.difflnl { grid-area: difflnl; }
td.difflnr { grid-area: difflnr; }
td.difftxtu { grid-area: difftxtu; }
td.difftxtl { grid-area: difftxtl; }
td.difftxtr { grid-area: difftxtr; }
td.diffln {
width: 1px;
width: fit-content;
text-align: right;
padding: 0 1em 0 0;
}
td.difflne {
padding-bottom: 0.4em;
}
td.diffsep {
width: 1px;
width: fit-content;
padding: 0 0.3em 0 0.5em;
grid-area: diffsep;
}
td.difftxt pre {
overflow-x: auto;
}
td.diffln ins {
background-color: #a0e4b2;
text-decoration: none;
|
| ︙ | | |
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
|
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
|
-
|
margin: 0;
}
.flex-container.child-gap-small > * {
margin: 0.25em;
}
#fossil-status-bar {
display: block;
font-family: monospace;
border-width: 1px;
border-style: inset;
border-color: inherit;
min-height: 1.5em;
font-size: 1.2em;
padding: 0.2em;
margin: 0.25em 0;
|
| ︙ | | |
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
|
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
|
-
+
+
+
+
+
+
+
+
+
|
(e.g. DIV) so that certain nesting constructs are legal.
*/
.input-with-label {
border: 1px inset rgba(128, 128, 128, 0.5);
border-radius: 0.25em;
padding: 0.1em;
margin: 0 0.5em;
display: inline-block;
display: inline-block
/* We would really like flex layout but changing that
currently introduces a good deal of UI breakage
to chase down. The advantage would be better alignment
of the contained elements. */;
cursor: default;
white-space: nowrap;
}
.submenu .input-with-label {
border: none;
}
.input-with-label > * {
vertical-align: middle;
}
.input-with-label > label {
display: inline; /* some skins set label display to block! */
cursor: pointer;
white-space: nowrap;
}
.input-with-label > input {
margin: 0;
}
.input-with-label > button {
margin: 0;
}
|
| ︙ | | |
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
|
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
|
-
|
table.numbered-lines {
width: 100%;
table-layout: fixed /* required to keep ultra-wide code from exceeding
window width, and instead force a scrollbar
on them. */;
}
table.numbered-lines > tbody > tr {
font-family: monospace;
line-height: 1.35;
white-space: pre;
}
table.numbered-lines > tbody > tr > td {
font-family: inherit;
font-size: inherit;
line-height: inherit;
|
| ︙ | | |
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
|
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
|
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
|
color: black;
}
blockquote.file-content {
/* file content block in the /file page */
margin: 0 1em;
}
/* Generic sidebar styling inherited by skins that don't make their own
* arrangements. */
.markdown blockquote, p.blockquote, .sidebar {
background-color: rgba(0, 0, 0, 0.05);
border-left: 3px solid #777;
padding: 0.1em 1em;
}
.sidebar {
/* Generic form that can be applied to any block element. */
font-size: 90%;
}
div.sidebar {
/* Special exception for div-type sidebars, where there is no p
* wrapper inside to give us the extra padding we want. */
padding: 1em;
}
div.sidebar:not(.no-label):before {
content: "Sidebar: ";
font-weight: bold;
}
/**
Circular "help" buttons intended to be placed to the right of
another element and hold text text for it. These typically get
initialized automatically at page startup via
fossil.popupwidget.js, and can be manually initialized/created
|
| ︙ | | |
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
|
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
|
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
-
|
body.branch .submenu > a.timeline-link {
display: none;
}
body.branch .submenu > a.timeline-link.selected {
display: inline;
}
/* Candidate fonts for various forms of monospaced text. Collected here
* to avoid repeating this long list of fonts. */
code, kbd, pre, samp, tt, var,
div.markdown ol.footnotes > li.fn-joined > sup.fn-joined,
table.numbered-lines > tbody > tr,
tr.diffskip > td.chunkctrl,
#fossil-status-bar,
.monospace {
font-family: monospace;
.monospace {
font-family: "Source Code Pro", "Menlo", "Monaco", "Consolas",
"Andale Mono", "Ubuntu Mono", "Deja Vu Sans Mono",
"Letter Gothic", "Letter Gothic Std", "Prestige Elite Std",
"Courier", "Courier New",
monospace;
}
div.markdown > ol.footnotes {
font-size: 90%;
}
div.markdown > ol.footnotes > li {
margin-bottom: 0.5em;
}
div.markdown ol.footnotes > li.fn-joined > sup.fn-joined {
color: gray;
font-family: monospace;
}
div.markdown ol.footnotes > li.fn-joined > sup.fn-joined::after {
content: "(joined from multiple locations) ";
}
div.markdown ol.footnotes > li.fn-misreference {
margin-top: 0.75em;
margin-bottom: 0.75em;
|
| ︙ | | |
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
|
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
|
+
+
+
+
+
+
+
+
|
}
/* Objects in the "desktoponly" class are invisible on mobile */
@media screen and (max-width: 600px) {
.desktoponly {
display: none;
}
}
/* Float sidebars to the right of the main content only if there's room. */
@media screen and (min-width: 600px) {
.sidebar {
float: right;
max-width: 33%;
margin-left: 1em;
}
}
/* Objects in the "wideonly" class are invisible only on wide-screen desktops */
@media screen and (max-width: 1200px) {
.wideonly {
display: none;
}
}
|