diff --git a/notes/README.org b/notes/README.org
index e716d69..ac00db4 100644
--- a/notes/README.org
+++ b/notes/README.org
@@ -1,3 +1,16 @@
+# -*- mode: org; org-confirm-babel-evaluate: nil; coding: utf-8 -*-
+#+OPTIONS: org-confirm-babel-evaluate:nil
+#+LANGUAGE: en
+#+TEXT:
+#+OPTIONS: ^:{} H:2 num:t \n:nil @:t ::t |:t ^:nil f:t *:t TeX:t LaTeX:t skip:nil p:nil
+#+OPTIONS: toc:nil
+#+HTML_HEAD:
+#+HTML:
+#+TOC: headlines 2 insert TOC here, with two headline levels
+#+HTML:
+#
+#+HTML:
+
* The notes directory
This directory is for notes that may be useful, but aren't complete enough to
serve as documentation in their current state.
@@ -35,59 +48,23 @@
The =automationDetails.id= entry is produced by CodeQL when using the
=--sarif-category= flag.
- Using
- #+BEGIN_SRC text
- 0:$ codeql --version
- CodeQL command-line toolchain release 2.12.6.
+ The prerequisites for tracing its flow through the tools is started in
+ [[../data/build-multiple-sarifs.sh]]
+
+ #+BEGIN_SRC sh :session shared :results output
+ cd ~/local/sarif-cli/ && ag -l automationDetails |cat
#+END_SRC
- and running
- #+BEGIN_SRC sh
- cd ../data/codeql-dataflow-sql-injection/ &&
- sarif-extract-scans-runner - > /dev/null <
+
diff --git a/notes/l3style.css b/notes/l3style.css
index 9b71bbd..b508a59 100644
--- a/notes/l3style.css
+++ b/notes/l3style.css
@@ -1,3 +1,7 @@
+:root {
+ --margin-left: 40%;
+ --body-width: 60%;
+}
/* The sum of width and margin percentages must not exceed 100.*/
div#toc {
@@ -8,30 +12,33 @@ div#toc {
/* OR */
/* use a fixed-position toc */
position: fixed;
- top: 80px;
+ top: 8px;
left: 0px;
/* match toc, org-content, postamble */
- width: 26%;
+ width: var(--margin-left);
margin-right: 1%;
margin-left: 1%;
+
+ overflow-y: scroll;
+ height: calc(100% - 10px);
+
}
div#org-content {
float: right;
- width: 70%;
+ width: var(--body-width);
/* match toc, org-content, postamble */
- margin-left: 28%;
+ margin-left: var(--margin-left);
}
div#postamble {
float: right;
- width: 70%;
+ width: var(--body-width);
/* match toc, org-content, postamble */
- margin-left: 28%;
+ margin-left: var(--margin-left);
}
-
p.author {
clear: both;
font-size: 1em;
@@ -107,9 +114,9 @@ h1 {
color: #cc8c00;
/* padding-top: 5px; */
border-bottom: 2px solid #aaa;
- width: 70%;
- /* match toc, org-content, postamble */
- margin-left: 28%; /* Align with div#content */
+ width: var(--body-width);
+ /* match toc, org-content, postamble */
+ width: var(--margin-left); /* Align with div#content */
}
h2 {
@@ -167,4 +174,3 @@ td, th {
vertical-align: top;
border: 1pt solid #ADB9CC;
}
-