Skip to content
Snippets Groups Projects
Commit 0a8a02af authored by Jennifer Mankoff's avatar Jennifer Mankoff
Browse files
parent 50f9966f
No related branches found
No related tags found
No related merge requests found
[submodule "reveal.js"]
path = reveal.js
url = https://github.com/hakimel/reveal.js.git
[submodule "_submodules/he"]
path = _submodules/he
url = https://github.com/mathiasbynens/he.git
[submodule "_submodules/MathJax-docs"]
path = _submodules/MathJax-docs
url = https://github.com/mathjax/MathJax-docs.git
[submodule "_submodules/MathJax"]
path = _submodules/MathJax
url = https://github.com/mathjax/MathJax.git
[submodule "_submodules/MathJax-a11y"]
path = _submodules/MathJax-a11y
url = https://github.com/mathjax/MathJax-a11y.git
...@@ -66,8 +66,7 @@ kramdown: ...@@ -66,8 +66,7 @@ kramdown:
toc_levels: '1' toc_levels: '1'
mermaid: mermaid:
src: '/assets/js/mermaid.js' src: 'https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js'
src_config: '/assets/js/mermaid_config.js'
remarkConfig: remarkConfig:
# possible highlight options: # possible highlight options:
......
...@@ -66,8 +66,7 @@ kramdown: ...@@ -66,8 +66,7 @@ kramdown:
toc_levels: '1' toc_levels: '1'
mermaid: mermaid:
src: '/website/assets/js/mermaid.js' src: 'https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js'
src_config: '/website/assets/js/mermaid_config.js'
remarkConfig: remarkConfig:
# possible highlight options: # possible highlight options:
......
...@@ -66,7 +66,7 @@ ...@@ -66,7 +66,7 @@
{% include footer.html %} {% include footer.html %}
</main> </main>
<script src="{{ '/assets/js/mermaid.js' | relative_url}}"></script> <script src="src="https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js""></script>
<link rel="stylesheet" href="{{ '/assets/css/mermaid.css' | relative_url }}"> <link rel="stylesheet" href="{{ '/assets/css/mermaid.css' | relative_url }}">
<link rel="stylesheet" href="{{ '/assets/css/assignment.css' | relative_url }}"> <link rel="stylesheet" href="{{ '/assets/css/assignment.css' | relative_url }}">
<script>mermaid.initialize({startOnLoad:true});</script> <script>mermaid.initialize({startOnLoad:true});</script>
......
...@@ -23,7 +23,7 @@ ...@@ -23,7 +23,7 @@
</main> </main>
<script src="{{ '/assets/js/bootstrap.min.js' | relative_url}}"></script> <script src="{{ '/assets/js/bootstrap.min.js' | relative_url}}"></script>
<script src="{{ '/assets/js/mermaid.js' | relative_url}}"></script> <script src="https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js"></script>
<link rel="stylesheet" href="{{ '/assets/css/mermaid.css' | relative_url }}"> <link rel="stylesheet" href="{{ '/assets/css/mermaid.css' | relative_url }}">
<script>mermaid.initialize({ startOnLoad: true });</script> <script>mermaid.initialize({ startOnLoad: true });</script>
......
...@@ -54,9 +54,9 @@ ...@@ -54,9 +54,9 @@
highlightStyle: 'github', highlightStyle: 'github',
highlightLines: 'true', highlightLines: 'true',
slideNumberFormat: 'Slide %current% of %total%' slideNumberFormat: 'Slide %current% of %total%'
}); });
</script> </script>
<script type="module" src="{{site.baseurl}}/assets/js/mermaid.js"></script> <script src="https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js"></script>
</body> </body>
<!-- <!--
......
...@@ -57,7 +57,7 @@ ...@@ -57,7 +57,7 @@
slideNumberFormat: 'Slide %current% of %total%' slideNumberFormat: 'Slide %current% of %total%'
}); });
</script> </script>
<script type="module" src="{{site.baseurl}}/assets/js/mermaid.js"></script> <script src="https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js"></script>
</body> </body>
<!-- <!--
......
...@@ -2,11 +2,11 @@ ...@@ -2,11 +2,11 @@
/* Sequence Diagram variables */ /* Sequence Diagram variables */
/* Gantt chart variables */ /* Gantt chart variables */
.remark-slide-container { .remark-slide-container {
visibility: hidden; visibility: hidden;
display: initial; display: initial;
} }
.remark-visible { .remark-visible {
visibility: visible; visibility: visible;
} }
...@@ -14,7 +14,6 @@ ...@@ -14,7 +14,6 @@
.mermaid .label { .mermaid .label {
color: #333; color: #333;
font-size: 16pt; font-size: 16pt;
} }
.node rect, .node rect,
...@@ -30,147 +29,180 @@ ...@@ -30,147 +29,180 @@
.edgePath .path { .edgePath .path {
stroke: #333333; stroke: #333333;
} }
.edgeLabel { .edgeLabel {
font-size: 14pt; font-size: 14pt;
padding-right: 2px;
} }
.cluster rect { .cluster rect {
fill: #ffffde !important; fill: #ffffde !important;
rx: 4 !important; rx: 4 !important;
stroke: #aaaa33 !important; stroke: #aaaa33 !important;
stroke-width: 1px !important; stroke-width: 1px !important;
} }
.cluster text { .cluster text {
fill: #333; fill: #333;
} }
.actor { .actor {
stroke: #CCCCFF; stroke: #CCCCFF;
fill: #dbf0db; fill: #dbf0db;
} }
text.actor { text.actor {
fill: black; fill: black;
stroke: none; stroke: none;
} }
.actor-line { .actor-line {
stroke: grey; stroke: grey;
} }
.messageLine0 { .messageLine0 {
stroke-width: 1.5; stroke-width: 1.5;
stroke-dasharray: "2 2"; stroke-dasharray: "2 2";
marker-end: "url(#arrowhead)"; marker-end: "url(#arrowhead)";
stroke: #333; stroke: #333;
} }
.messageLine1 { .messageLine1 {
stroke-width: 1.5; stroke-width: 1.5;
stroke-dasharray: "2 2"; stroke-dasharray: "2 2";
stroke: #333; stroke: #333;
} }
#arrowhead { #arrowhead {
fill: #333; fill: #333;
} }
#crosshead path { #crosshead path {
fill: #333 !important; fill: #333 !important;
stroke: #333 !important; stroke: #333 !important;
} }
.messageText { .messageText {
fill: #333; fill: #333;
stroke: none; stroke: none;
} }
.labelBox { .labelBox {
stroke: #CCCCFF; stroke: #CCCCFF;
fill: #dbf0db; fill: #dbf0db;
} }
.labelText { .labelText {
fill: black; fill: black;
stroke: none; stroke: none;
} }
.loopText { .loopText {
fill: black; fill: black;
stroke: none; stroke: none;
} }
.loopLine { .loopLine {
stroke-width: 2; stroke-width: 2;
stroke-dasharray: "2 2"; stroke-dasharray: "2 2";
marker-end: "url(#arrowhead)"; marker-end: "url(#arrowhead)";
stroke: #CCCCFF; stroke: #CCCCFF;
} }
.note { .note {
stroke: #aaaa33; stroke: #aaaa33;
fill: #fff5ad; fill: #fff5ad;
} }
.noteText { .noteText {
fill: black; fill: black;
stroke: none; stroke: none;
font-family: 'trebuchet ms', verdana, arial; font-family: 'trebuchet ms', verdana, arial;
font-size: 12px; font-size: 12px;
} }
/** Section styling */ /** Section styling */
.section { .section {
stroke: none; stroke: none;
opacity: 0.2; opacity: 0.2;
} }
.section0 { .section0 {
fill: rgba(102, 102, 255, 0.49); fill: rgba(102, 102, 255, 0.49);
} }
.section2 { .section2 {
fill: #fff400; fill: #fff400;
} }
.section1, .section1,
.section3 { .section3 {
fill: white; fill: white;
opacity: 0.2; opacity: 0.2;
} }
.sectionTitle0 { .sectionTitle0 {
fill: #333; fill: #333;
} }
.sectionTitle1 { .sectionTitle1 {
fill: #333; fill: #333;
} }
.sectionTitle2 { .sectionTitle2 {
fill: #333; fill: #333;
} }
.sectionTitle3 { .sectionTitle3 {
fill: #333; fill: #333;
} }
.sectionTitle { .sectionTitle {
text-anchor: start; text-anchor: start;
font-size: 10px; font-size: 10px;
text-height: 12px; text-height: 12px;
} }
/* Grid and axis */ /* Grid and axis */
.grid .tick { .grid .tick {
stroke: lightgrey; stroke: lightgrey;
opacity: 0.3; opacity: 0.3;
shape-rendering: crispEdges; shape-rendering: crispEdges;
} }
.grid path { .grid path {
stroke-width: 0; stroke-width: 0;
} }
/* Today line */ /* Today line */
.today { .today {
fill: none; fill: none;
stroke: red; stroke: red;
stroke-width: 2px; stroke-width: 2px;
} }
/* Task styling */ /* Task styling */
/* Default task */ /* Default task */
.task { .task {
stroke-width: 2; stroke-width: 2;
} }
.taskText { .taskText {
text-anchor: middle; text-anchor: middle;
font-size: 10px; font-size: 10px;
} }
.taskTextOutsideRight { .taskTextOutsideRight {
fill: black; fill: black;
text-anchor: start; text-anchor: start;
font-size: 10px; font-size: 10px;
} }
.taskTextOutsideLeft { .taskTextOutsideLeft {
fill: black; fill: black;
text-anchor: end; text-anchor: end;
font-size: 10px; font-size: 10px;
} }
/* Specific task settings for the sections*/ /* Specific task settings for the sections*/
.taskText0, .taskText0,
.taskText1, .taskText1,
...@@ -178,6 +210,7 @@ text.actor { ...@@ -178,6 +210,7 @@ text.actor {
.taskText3 { .taskText3 {
fill: white; fill: white;
} }
.task0, .task0,
.task1, .task1,
.task2, .task2,
...@@ -185,14 +218,17 @@ text.actor { ...@@ -185,14 +218,17 @@ text.actor {
fill: #dbf0db; fill: #dbf0db;
stroke: #534fbc; stroke: #534fbc;
} }
.taskTextOutside0, .taskTextOutside0,
.taskTextOutside2 { .taskTextOutside2 {
fill: black; fill: black;
} }
.taskTextOutside1, .taskTextOutside1,
.taskTextOutside3 { .taskTextOutside3 {
fill: black; fill: black;
} }
/* Active task */ /* Active task */
.active0, .active0,
.active1, .active1,
...@@ -201,12 +237,14 @@ text.actor { ...@@ -201,12 +237,14 @@ text.actor {
fill: #bfc7ff; fill: #bfc7ff;
stroke: #534fbc; stroke: #534fbc;
} }
.activeText0, .activeText0,
.activeText1, .activeText1,
.activeText2, .activeText2,
.activeText3 { .activeText3 {
fill: black !important; fill: black !important;
} }
/* Completed task */ /* Completed task */
.done0, .done0,
.done1, .done1,
...@@ -216,12 +254,14 @@ text.actor { ...@@ -216,12 +254,14 @@ text.actor {
fill: lightgrey; fill: lightgrey;
stroke-width: 2; stroke-width: 2;
} }
.doneText0, .doneText0,
.doneText1, .doneText1,
.doneText2, .doneText2,
.doneText3 { .doneText3 {
fill: black !important; fill: black !important;
} }
/* Tasks on the critical line */ /* Tasks on the critical line */
.crit0, .crit0,
.crit1, .crit1,
...@@ -231,6 +271,7 @@ text.actor { ...@@ -231,6 +271,7 @@ text.actor {
fill: red; fill: red;
stroke-width: 2; stroke-width: 2;
} }
.activeCrit0, .activeCrit0,
.activeCrit1, .activeCrit1,
.activeCrit2, .activeCrit2,
...@@ -239,6 +280,7 @@ text.actor { ...@@ -239,6 +280,7 @@ text.actor {
fill: #bfc7ff; fill: #bfc7ff;
stroke-width: 2; stroke-width: 2;
} }
.doneCrit0, .doneCrit0,
.doneCrit1, .doneCrit1,
.doneCrit2, .doneCrit2,
...@@ -249,31 +291,32 @@ text.actor { ...@@ -249,31 +291,32 @@ text.actor {
cursor: pointer; cursor: pointer;
shape-rendering: crispEdges; shape-rendering: crispEdges;
} }
.doneCritText0, .doneCritText0,
.doneCritText1, .doneCritText1,
.doneCritText2, .doneCritText2,
.doneCritText3 { .doneCritText3 {
fill: black !important; fill: black !important;
} }
.activeCritText0, .activeCritText0,
.activeCritText1, .activeCritText1,
.activeCritText2, .activeCritText2,
.activeCritText3 { .activeCritText3 {
fill: black !important; fill: black !important;
} }
.titleText { .titleText {
text-anchor: middle; text-anchor: middle;
font-size: 16px; font-size: 16px;
fill: black; fill: black;
} }
/*
*/
.node text { .node text {
font-family: 'trebuchet ms', verdana, arial; font-family: 'trebuchet ms', verdana, arial;
font-size: 12px; font-size: 12px;
} }
div.mermaidTooltip { div.mermaidTooltip {
position: absolute; position: absolute;
text-align: center; text-align: center;
...@@ -288,7 +331,6 @@ div.mermaidTooltip { ...@@ -288,7 +331,6 @@ div.mermaidTooltip {
z-index: 100; z-index: 100;
} }
.bluegreen > rect { .bluegreen > rect {
fill: #d1e0e0 !important; fill: #d1e0e0 !important;
stroke:#333 !important; stroke:#333 !important;
...@@ -303,25 +345,22 @@ div.mermaidTooltip { ...@@ -303,25 +345,22 @@ div.mermaidTooltip {
.green > rect { .green > rect {
fill: #dbf0db !important; fill: #dbf0db !important;
stroke:#333 !imporatant; stroke:#333 !important;
stroke-width:2px !important; stroke-width:2px !important;
} }
.yellow > rect { .yellow > rect {
fill:#ffffe6 !important; fill:#ffffe6 !important;
stroke:#333 !important; stroke:#333 !important;
stroke-width:2px !important; stroke-width:2px !important;
} }
.darkblue > rect { .darkblue > rect {
fill: #99ccff !important; fill: #99ccff !important;
stroke:#333 !important; stroke:#333 !important;
stroke-width:4px !important; stroke-width:4px !important;
} }
.bluegreen > circle { .bluegreen > circle {
fill: #d1e0e0 !important; fill: #d1e0e0 !important;
stroke:#333 !important; stroke:#333 !important;
...@@ -337,7 +376,7 @@ div.mermaidTooltip { ...@@ -337,7 +376,7 @@ div.mermaidTooltip {
.green > circle { .green > circle {
fill: #dbf0db !important; fill: #dbf0db !important;
stroke:#333 !imporatant; stroke:#333 !important;
stroke-width:2px !important; stroke-width:2px !important;
} }
...@@ -354,19 +393,20 @@ div.mermaidTooltip { ...@@ -354,19 +393,20 @@ div.mermaidTooltip {
color:white !important; color:white !important;
} }
.finish > circle { .finish > circle {
outline-style:double; outline-style:double;
fill:#d1e0e0; fill:#d1e0e0;
stroke:#333; stroke:#333;
stroke-width:2px; stroke-width:2px;
} }
.finish > rect { .finish > rect {
outline-style:double; outline-style:double;
fill:#d1e0e0; fill:#d1e0e0;
stroke:#333; stroke:#333;
stroke-width:2px; stroke-width:2px;
} }
.normal > circle { .normal > circle {
fill:#e6f3ff; fill:#e6f3ff;
stroke:#333; stroke:#333;
...@@ -378,6 +418,7 @@ div.mermaidTooltip { ...@@ -378,6 +418,7 @@ div.mermaidTooltip {
stroke:#333; stroke:#333;
stroke-width:2px; stroke-width:2px;
} }
.start > circle { .start > circle {
fill:#d1e0e0; fill:#d1e0e0;
stroke:#333; stroke:#333;
...@@ -426,6 +467,17 @@ g.classGroup rect { ...@@ -426,6 +467,17 @@ g.classGroup rect {
} }
/* Remove label background fill */
.label > rect {
fill: #FFFFFF00 !important;
}
/* Keep svgs within containing div */
div.mermaid > svg {
width: 100%;
aspect-ratio: none;
}
g > foreignObject > div { g > foreignObject > div {
position:relative; position:relative;
font-size: .8em; font-size: .8em;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment