Skip to content

Commit

Permalink
updated with a?b:x swapped; added documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
joseproenca committed Mar 8, 2024
1 parent 3d81f70 commit 50ae74b
Show file tree
Hide file tree
Showing 4 changed files with 495 additions and 207 deletions.
45 changes: 45 additions & 0 deletions css/style.css
Original file line number Diff line number Diff line change
Expand Up @@ -150,6 +150,41 @@
.dropdown>a:focus {
border-color: black;
}
.overlay {
position: fixed;
display: none;
top: 0;
right: 0;
bottom: 0;
left: 0;
background: rgba(0, 0, 0, 0.8);
z-index: 4;
}
.popup {
position: absolute;
display: none;
width: 70%;
min-height: 70%;
top: 15%;
left: 15%;
background: white;
z-index: 5;
}
.popup h3 {
font-size: 15px;
height: 50px;
line-height: 50px;
color: black;
background: white;
}
.closePopup {
background: rgba(184, 202, 237, 1);
padding: 0.4rem 0.4rem 0.4rem 1rem;
cursor: pointer;
}
#CAOSPopup {
padding: 1rem;
}
/*a:focus, a:hover {
color: red;
font-weight: bolder;
Expand Down Expand Up @@ -371,4 +406,14 @@ button {
opacity: 0;
cursor: auto;
}

.popup {
position: absolute;
width: 92%;
min-height: 92%;
top: 4%;
left: 4%;
background: white;
z-index: 5;
}
}
9 changes: 0 additions & 9 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -43,15 +43,6 @@
</div>
</div>
<div id="contentWrap"></div>
<div style="width: 100%;text-align: center; display: inline-block;">
&nbsp;<br>
<p style="margin: 0px 30px 10px;">Source code at: <a href="https://github.com/arcalab/choreo/tree/b-pomset" target="#">https://github.com/arcalab/choreo/tree/b-pomset</a>.
This is a companion tool for papers accepted at
<a href="https://jose.proenca.org/publication/edixhoven-branching-2022/">ICE 2022</a> and
<a href="https://research.ou.nl/en/publications/realisability-of-branching-pomsets-technical-report">FACS 2022</a>,
and for a journal paper in progress.
</p>
</div>
</body>
<script type="text/javascript" src="js/static/prism.js"></script>
<script type="text/javascript" src="js/static/jquery-1.10.2.min.js"></script>
Expand Down
Loading

0 comments on commit 50ae74b

Please sign in to comment.