Skip to content

Commit 43096f2

Browse files
committed
Move CSS out of md file
1 parent 642afa5 commit 43096f2

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

program-analysis/echidna/configuration.md

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,5 @@
11
# Configuration options
22

3-
<!-- To left align the tables -->
4-
<style>table {margin: 0}</style>
5-
63
The following is a list of all the options that may be provided in the Echidna
74
configuration file. Whenever an option can also be set via the command line, the
85
CLI equivalent flag is provided as a reference. Some flags are relatively new

static/custom.css

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,8 @@
55
width: 50%;
66
max-width: max-content;
77
}
8+
9+
/* program-analysis/echidna/configuration.md */
10+
h1#configuration-options ~ div > table {
11+
margin: 0;
12+
}

0 commit comments

Comments
 (0)