diff options
| author | jahoti <jahoti@tilde.team> | 2021-12-03 00:00:00 +0000 |
|---|---|---|
| committer | jahoti <jahoti@tilde.team> | 2021-12-03 00:00:00 +0000 |
| commit | d16e763e240a2aefe3d4490cddff61893a35a1ea (patch) | |
| tree | 1e90890a39798f6cd9a1c0886d1234ccc187f5b3 /html/default_blocking_policy.html | |
| parent | 591c48a6903bbf324361610f81c628302cae7049 (diff) | |
| parent | 93dd73600e91eb19e11f5ca57f9429a85cf0150f (diff) | |
| download | browser-extension-d16e763e240a2aefe3d4490cddff61893a35a1ea.tar.gz browser-extension-d16e763e240a2aefe3d4490cddff61893a35a1ea.zip | |
Merge branch 'koszko' into jahoti
Diffstat (limited to 'html/default_blocking_policy.html')
| -rw-r--r-- | html/default_blocking_policy.html | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/html/default_blocking_policy.html b/html/default_blocking_policy.html new file mode 100644 index 0000000..50c19ca --- /dev/null +++ b/html/default_blocking_policy.html @@ -0,0 +1,18 @@ +<!-- + Copyright (C) 2021 Wojtek Kosior + Redistribution terms are gathered in the `copyright' file. + + This is not a standalone page. This file is meant to be imported into other + HTML code. + --> +<style> + #blocking_policy_div { + line-height: 2em; + } +</style> +<span id="blocking_policy_span"> + Default policy for unmatched pages is to + <span id="current_policy_span" class="bold"></span> + their own scripts. + <button id="toggle_policy_but">Toggle policy</button> +</span> |