Skip to content

Commit 2716d09

Browse files
fridrichremkop
fridrich
authored and
remkop
committed
Commit the html files with the right line-ends
1 parent 51a3252 commit 2716d09

18 files changed

+1350
-1350
lines changed

‎docs/A-Whirlwind-Tour-of-Picocli.html

Lines changed: 75 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -1564,81 +1564,81 @@
15641564
});
15651565
});
15661566
</script>
1567-
<style>
1568-
.hidden {
1569-
display: none;
1570-
}
1571-
1572-
.switch {
1573-
border-width: 1px 1px 0 1px;
1574-
border-style: solid;
1575-
border-color: #7a2518;
1576-
display: inline-block;
1577-
}
1578-
1579-
.switch--item {
1580-
padding: 10px;
1581-
background-color: #ffffff;
1582-
color: #7a2518;
1583-
display: inline-block;
1584-
cursor: pointer;
1585-
}
1586-
1587-
.switch--item.selected {
1588-
background-color: #7a2519;
1589-
color: #ffffff;
1590-
}
1591-
1592-
</style>
1593-
<script src="https://cdnjs.cloudflare.com/ajax/libs/zepto/1.2.0/zepto.min.js"></script>
1594-
<script type="text/javascript">
1595-
function addBlockSwitches() {
1596-
$('.primary').each(function() {
1597-
primary = $(this);
1598-
createSwitchItem(primary, createBlockSwitch(primary)).item.addClass("selected");
1599-
primary.children('.title').remove();
1600-
});
1601-
$('.secondary').each(function(idx, node) {
1602-
secondary = $(node);
1603-
primary = findPrimary(secondary);
1604-
switchItem = createSwitchItem(secondary, primary.children('.switch'));
1605-
switchItem.content.addClass('hidden');
1606-
findPrimary(secondary).append(switchItem.content);
1607-
secondary.remove();
1608-
});
1609-
}
1610-
1611-
function createBlockSwitch(primary) {
1612-
blockSwitch = $('<div class="switch"></div>');
1613-
primary.prepend(blockSwitch);
1614-
return blockSwitch;
1615-
}
1616-
1617-
function findPrimary(secondary) {
1618-
candidate = secondary.prev();
1619-
while (!candidate.is('.primary')) {
1620-
candidate = candidate.prev();
1621-
}
1622-
return candidate;
1623-
}
1624-
1625-
function createSwitchItem(block, blockSwitch) {
1626-
blockName = block.children('.title').text();
1627-
content = block.children('.content').first().append(block.next('.colist'));
1628-
item = $('<div class="switch--item">' + blockName + '</div>');
1629-
item.on('click', '', content, function(e) {
1630-
$(this).addClass('selected');
1631-
$(this).siblings().removeClass('selected');
1632-
e.data.siblings('.content').addClass('hidden');
1633-
e.data.removeClass('hidden');
1634-
});
1635-
blockSwitch.append(item);
1636-
return {'item': item, 'content': content};
1637-
}
1638-
1639-
$(addBlockSwitches);
1640-
1641-
</script>
1567+
<style>
1568+
.hidden {
1569+
display: none;
1570+
}
1571+
1572+
.switch {
1573+
border-width: 1px 1px 0 1px;
1574+
border-style: solid;
1575+
border-color: #7a2518;
1576+
display: inline-block;
1577+
}
1578+
1579+
.switch--item {
1580+
padding: 10px;
1581+
background-color: #ffffff;
1582+
color: #7a2518;
1583+
display: inline-block;
1584+
cursor: pointer;
1585+
}
1586+
1587+
.switch--item.selected {
1588+
background-color: #7a2519;
1589+
color: #ffffff;
1590+
}
1591+
1592+
</style>
1593+
<script src="https://cdnjs.cloudflare.com/ajax/libs/zepto/1.2.0/zepto.min.js"></script>
1594+
<script type="text/javascript">
1595+
function addBlockSwitches() {
1596+
$('.primary').each(function() {
1597+
primary = $(this);
1598+
createSwitchItem(primary, createBlockSwitch(primary)).item.addClass("selected");
1599+
primary.children('.title').remove();
1600+
});
1601+
$('.secondary').each(function(idx, node) {
1602+
secondary = $(node);
1603+
primary = findPrimary(secondary);
1604+
switchItem = createSwitchItem(secondary, primary.children('.switch'));
1605+
switchItem.content.addClass('hidden');
1606+
findPrimary(secondary).append(switchItem.content);
1607+
secondary.remove();
1608+
});
1609+
}
1610+
1611+
function createBlockSwitch(primary) {
1612+
blockSwitch = $('<div class="switch"></div>');
1613+
primary.prepend(blockSwitch);
1614+
return blockSwitch;
1615+
}
1616+
1617+
function findPrimary(secondary) {
1618+
candidate = secondary.prev();
1619+
while (!candidate.is('.primary')) {
1620+
candidate = candidate.prev();
1621+
}
1622+
return candidate;
1623+
}
1624+
1625+
function createSwitchItem(block, blockSwitch) {
1626+
blockName = block.children('.title').text();
1627+
content = block.children('.content').first().append(block.next('.colist'));
1628+
item = $('<div class="switch--item">' + blockName + '</div>');
1629+
item.on('click', '', content, function(e) {
1630+
$(this).addClass('selected');
1631+
$(this).siblings().removeClass('selected');
1632+
e.data.siblings('.content').addClass('hidden');
1633+
e.data.removeClass('hidden');
1634+
});
1635+
blockSwitch.append(item);
1636+
return {'item': item, 'content': content};
1637+
}
1638+
1639+
$(addBlockSwitches);
1640+
1641+
</script>
16421642

16431643
</head>
16441644
<body class="article">

‎docs/announcing-picocli-1.0.html

Lines changed: 75 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -526,81 +526,81 @@
526526
.CodeRay .change .change{color:#66f}
527527
.CodeRay .head .head{color:#f4f}
528528
</style>
529-
<style>
530-
.hidden {
531-
display: none;
532-
}
533-
534-
.switch {
535-
border-width: 1px 1px 0 1px;
536-
border-style: solid;
537-
border-color: #7a2518;
538-
display: inline-block;
539-
}
540-
541-
.switch--item {
542-
padding: 10px;
543-
background-color: #ffffff;
544-
color: #7a2518;
545-
display: inline-block;
546-
cursor: pointer;
547-
}
548-
549-
.switch--item.selected {
550-
background-color: #7a2519;
551-
color: #ffffff;
552-
}
553-
554-
</style>
555-
<script src="https://cdnjs.cloudflare.com/ajax/libs/zepto/1.2.0/zepto.min.js"></script>
556-
<script type="text/javascript">
557-
function addBlockSwitches() {
558-
$('.primary').each(function() {
559-
primary = $(this);
560-
createSwitchItem(primary, createBlockSwitch(primary)).item.addClass("selected");
561-
primary.children('.title').remove();
562-
});
563-
$('.secondary').each(function(idx, node) {
564-
secondary = $(node);
565-
primary = findPrimary(secondary);
566-
switchItem = createSwitchItem(secondary, primary.children('.switch'));
567-
switchItem.content.addClass('hidden');
568-
findPrimary(secondary).append(switchItem.content);
569-
secondary.remove();
570-
});
571-
}
572-
573-
function createBlockSwitch(primary) {
574-
blockSwitch = $('<div class="switch"></div>');
575-
primary.prepend(blockSwitch);
576-
return blockSwitch;
577-
}
578-
579-
function findPrimary(secondary) {
580-
candidate = secondary.prev();
581-
while (!candidate.is('.primary')) {
582-
candidate = candidate.prev();
583-
}
584-
return candidate;
585-
}
586-
587-
function createSwitchItem(block, blockSwitch) {
588-
blockName = block.children('.title').text();
589-
content = block.children('.content').first().append(block.next('.colist'));
590-
item = $('<div class="switch--item">' + blockName + '</div>');
591-
item.on('click', '', content, function(e) {
592-
$(this).addClass('selected');
593-
$(this).siblings().removeClass('selected');
594-
e.data.siblings('.content').addClass('hidden');
595-
e.data.removeClass('hidden');
596-
});
597-
blockSwitch.append(item);
598-
return {'item': item, 'content': content};
599-
}
600-
601-
$(addBlockSwitches);
602-
603-
</script>
529+
<style>
530+
.hidden {
531+
display: none;
532+
}
533+
534+
.switch {
535+
border-width: 1px 1px 0 1px;
536+
border-style: solid;
537+
border-color: #7a2518;
538+
display: inline-block;
539+
}
540+
541+
.switch--item {
542+
padding: 10px;
543+
background-color: #ffffff;
544+
color: #7a2518;
545+
display: inline-block;
546+
cursor: pointer;
547+
}
548+
549+
.switch--item.selected {
550+
background-color: #7a2519;
551+
color: #ffffff;
552+
}
553+
554+
</style>
555+
<script src="https://cdnjs.cloudflare.com/ajax/libs/zepto/1.2.0/zepto.min.js"></script>
556+
<script type="text/javascript">
557+
function addBlockSwitches() {
558+
$('.primary').each(function() {
559+
primary = $(this);
560+
createSwitchItem(primary, createBlockSwitch(primary)).item.addClass("selected");
561+
primary.children('.title').remove();
562+
});
563+
$('.secondary').each(function(idx, node) {
564+
secondary = $(node);
565+
primary = findPrimary(secondary);
566+
switchItem = createSwitchItem(secondary, primary.children('.switch'));
567+
switchItem.content.addClass('hidden');
568+
findPrimary(secondary).append(switchItem.content);
569+
secondary.remove();
570+
});
571+
}
572+
573+
function createBlockSwitch(primary) {
574+
blockSwitch = $('<div class="switch"></div>');
575+
primary.prepend(blockSwitch);
576+
return blockSwitch;
577+
}
578+
579+
function findPrimary(secondary) {
580+
candidate = secondary.prev();
581+
while (!candidate.is('.primary')) {
582+
candidate = candidate.prev();
583+
}
584+
return candidate;
585+
}
586+
587+
function createSwitchItem(block, blockSwitch) {
588+
blockName = block.children('.title').text();
589+
content = block.children('.content').first().append(block.next('.colist'));
590+
item = $('<div class="switch--item">' + blockName + '</div>');
591+
item.on('click', '', content, function(e) {
592+
$(this).addClass('selected');
593+
$(this).siblings().removeClass('selected');
594+
e.data.siblings('.content').addClass('hidden');
595+
e.data.removeClass('hidden');
596+
});
597+
blockSwitch.append(item);
598+
return {'item': item, 'content': content};
599+
}
600+
601+
$(addBlockSwitches);
602+
603+
</script>
604604

605605
</head>
606606
<body class="article">

0 commit comments

Comments
 (0)