Skip to content

Commit 8d33f31

Browse files
authored
Merge pull request github#1725 from jf205/add-rst-slide/sd-3717
docs: add rst files for C/C++ training and a few styling improvements
2 parents b308115 + aea7d56 commit 8d33f31

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

43 files changed

+2276
-395
lines changed

docs/language/ql-training-rst/_static-training/agenda-slide.svg

Lines changed: 0 additions & 1 deletion
This file was deleted.
Binary file not shown.

docs/language/ql-training-rst/_static-training/semmle-template.svg

Lines changed: 0 additions & 1 deletion
This file was deleted.

docs/language/ql-training-rst/_static-training/setup-slide.svg

Lines changed: 1 addition & 0 deletions
Loading

docs/language/ql-training-rst/_static-training/slides-semmle-2/end_slide.html

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
<head>
2-
3-
</head>
4-
51
<slide class="end-slide">
62
<article>
73
</article>

docs/language/ql-training-rst/_static-training/slides-semmle-2/layout.html

Lines changed: 33 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -32,15 +32,15 @@
3232
{%- macro script() %}
3333
<script type="text/javascript">
3434
var DOCUMENTATION_OPTIONS = {
35-
URL_ROOT: '{{ url_root }}',
36-
VERSION: '{{ release|e }}',
35+
URL_ROOT: '../',
36+
VERSION: '1.21',
3737
COLLAPSE_INDEX: false,
38-
FILE_SUFFIX: '{{ '' if no_search_suffix else file_suffix }}',
39-
HAS_SOURCE: {{ has_source|lower }}
38+
FILE_SUFFIX: '.html',
39+
HAS_SOURCE: true
4040
};
4141
</script>
4242

43-
<script data-main="{{ pathto('_static/js/slides', 1) }}"
43+
<script data-main="{{ pathto('_static/js/slides', 1) }}"
4444
src="{{ pathto('_static/js/require-1.0.8.min.js', 1) }}"></script>
4545

4646
{%- for scriptfile in script_files %}
@@ -80,8 +80,8 @@
8080
{{ metatags }}
8181
<meta http-equiv="X-UA-Compatible" content="chrome=1">
8282
<!-- comment -->
83-
<!--<meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=1.0">-->
84-
<meta name="viewport" content="width=device-width, initial-scale=1.0">
83+
<meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=1.0">
84+
<!--<meta name="viewport" content="width=device-width, initial-scale=1.0">-->
8585
<!--This one seems to work all the time, but really small on ipad-->
8686
<!--<meta name="viewport" content="initial-scale=0.4">-->
8787
<!-- end comment -->
@@ -128,11 +128,14 @@
128128
<link rel="prev" title="{{ prev.title|striptags|e }}" href="{{ prev.link|e }}" />
129129
{%- endif %}
130130
{%- endblock %}
131-
{%- block extrahead %} {% endblock %}
131+
{%- block extrahead %}
132+
<link href="https://fonts.googleapis.com/css?family=Lato&display=swap" rel="stylesheet">
133+
<link href='https://fonts.googleapis.com/css?family=Work+Sans&display=swap' rel='stylesheet'>
134+
{% endblock %}
132135
</head>
133136
<body style="opacity: 0">
134-
135-
<slides class="layout-widescreen">
137+
<div class="wrapper" id="wrapper">
138+
<slides class="layout-widescreen" id="slides">
136139

137140
<!-- {% include "title_slide.html" %} -->
138141

@@ -143,10 +146,30 @@
143146
<slide class="backdrop"></slide>
144147

145148
</slides>
149+
</div>
150+
146151

147152
<!--[if IE]>
148153
<script src="http://ajax.googleapis.com/ajax/libs/chrome-frame/1/CFInstall.min.js"></script>
149154
<script>CFInstall.check({mode: 'overlay'});</script>
150155
<![endif]-->
156+
<script type="text/javascript">
157+
158+
//assigns font-size when document is ready
159+
document.onreadystatechange = () => {
160+
if (document.readyState === 'complete') {
161+
var wrapperHeight = document.getElementById('slides').clientHeight;
162+
var relativeFontSize = wrapperHeight / 45 + 'px'; //change integer to set desired font size
163+
document.getElementById("slides").style.fontSize = relativeFontSize;
164+
}
165+
};
166+
//then on window resize
167+
window.onresize = function(event) {
168+
var wrapperHeight = document.getElementById('slides').clientHeight;
169+
var relativeFontSize = wrapperHeight / 45 + 'px'; //change integer to set for desired font size
170+
document.getElementById("slides").style.fontSize = relativeFontSize;
171+
};
172+
</script>
173+
151174
</body>
152175
</html>

docs/language/ql-training-rst/_static-training/slides-semmle-2/slide.html

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,14 @@
1-
<head>
2-
</head>
3-
4-
5-
61
<slide class="{% if slide_number==1 %}title-slide segue nobackground {% endif %} {% if slide_classes %}{{ ' '.join(slide_classes) }} {% endif %}level-{{ level }}"{% if id %} id="{{ id }}"{% endif %}>
2+
73
<hgroup>
84
<h{{ level }}>{{ title }}</h{{ level }}>
95
</hgroup>
6+
107
<article class="{{ content_classes|join(' ') }}">
8+
119
{{ content }}
1210

11+
1312
{% if config.slide_numbers %}
1413
<div class="slide-no">{{ slide_number }}</div>
1514
{% endif %}

0 commit comments

Comments
 (0)