arnekeller/fliegendewurst.eu
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Compare commits

base: arnekeller:7ab27b8c5847d7c6c0d43246be71ae55df293e3c
Branches Tags
arnekeller:master
...
compare: arnekeller:2427b1ebd72380f33d14e98e39de1153c31f09bf
Branches Tags
arnekeller:master

3 Commits
7ab27b8c58 ... 2427b1ebd7

Author SHA1 Message Date
FliegendeWurst
2427b1ebd7 Hotfix 2 2023-07-30 10:21:04 +02:00
FliegendeWurst
63b0782750 Hotfix 2023-07-30 10:14:37 +02:00
FliegendeWurst
5f1c5c2085 New page 2023-07-30 10:09:36 +02:00
5 changed files with 54 additions and 14 deletions
Show Stats Expand all files Collapse all files

18
index.html
View File

@ -1,17 +1,20 @@
<!DOCTYPE html> <!DOCTYPE html>
<title>FliegendeWurst's corner of the WWW</title> <title>FliegendeWurst's corner of the WWW</title>
<meta charset="utf8"> <meta charset="utf8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico"> <link rel="shortcut icon" href="favicon.ico">
<link rel="stylesheet" href="main.css"> <link rel="stylesheet" href="main.css">
<h1 id="header"><img src="favicon.ico" id="favicon">FliegendeWurst's corner of the WWW</h1> <h1 id="header"><img src="favicon.ico" id="favicon">FliegendeWurst's corner of the WWW</h1>
Interesting tidbits: <span>Interesting tidbits</span>
<ul>
<a href="./z3-logic-puzzle-solving.html">Solving a logic puzzle using an SMT solver</a> <li><a href="./z3-logic-puzzle-solving.html">Solving a logic puzzle using an SMT solver</a></li>
<li><a href="./tree-style-tabs-new-tab-button-bottom.html">Fixing the position of TST's new tab button</a></li>
<li><a href="https://gist.github.com/FliegendeWurst/6548c71a0f21a60183dbdd2bb7be16db">Repairing the filesystem on my TV's hard disk</a></li>
</ul>
Check out my projects: Check out my projects:
<ul> <ul>
<li> <a href="https://github.com/FliegendeWurst/KIT-ILIAS-downloader">KIT-ILIAS-downloader</a>, a tool to download files from the KIT's e-learning site </li> <li> <a href="https://github.com/FliegendeWurst/KIT-ILIAS-downloader">KIT-ILIAS-downloader</a>, a tool to download files from the KIT's e-learning site </li>
<li> <a href="https://gitlab.com/arnekeller/yt-addiction-control">YT addiction control</a> (<a href="https://addons.mozilla.org/en-US/firefox/addon/youtube-addiction-control/">download</a>), Firefox extension to reduce Youtube's addiction potential by hiding video suggestions </li> <li> <a href="https://gitlab.com/arnekeller/yt-addiction-control">YT addiction control</a> (<a href="https://addons.mozilla.org/en-US/firefox/addon/youtube-addiction-control/">download</a>), Firefox extension to reduce Youtube's addiction potential by hiding video suggestions </li>
@ -39,13 +42,6 @@ Old projects:
<li> <a href="https://github.com/FliegendeWurst/bwinf.35.1">bwinf.35.1</a>, my solutions to a computer science contest </li> <li> <a href="https://github.com/FliegendeWurst/bwinf.35.1">bwinf.35.1</a>, my solutions to a computer science contest </li>
</ul> </ul>
Other interesting bits:
<ul>
<li> PoC exploit of the recent polkit vulnerability: <a href="https://gist.github.com/FliegendeWurst/e1fab2d192d5adb504e71488ef199183">source</a> </li>
<li> Repairing the filesystem on a HDD used by my TV: <a href="https://gist.github.com/FliegendeWurst/6548c71a0f21a60183dbdd2bb7be16db">full guide</a> </li>
</ul>
Links: <a href="https://github.com/FliegendeWurst">Github profile</a>, <a href="https://gitlab.com/arnekeller">Gitlab profile</a>, <a href="https://www.boincstats.com/stats/-5/user/detail/86482458946/overview">BOINC contributions</a>. Links: <a href="https://github.com/FliegendeWurst">Github profile</a>, <a href="https://gitlab.com/arnekeller">Gitlab profile</a>, <a href="https://www.boincstats.com/stats/-5/user/detail/86482458946/overview">BOINC contributions</a>.
<br> <br>

2
main.css
View File

@ -15,7 +15,7 @@ body {
} }
article { article {
max-width: 70em; max-width: 45em;
} }
#hero-img { #hero-img {

2
raspberry-pi-temperature-monitoring.html
View File

@ -2,7 +2,7 @@
<head> <head>
<title>Raspberry Pi temperature monitoring + calendar</title> <title>Raspberry Pi temperature monitoring + calendar</title>
<meta charset="utf8"> <meta charset="utf8">
<meta name="viewport" content="width=device-width,initial-scale=1.0"/> <meta name="viewport" content="width=device-width,initial-scale=1"/>
<link rel="shortcut icon" href="favicon.ico"> <link rel="shortcut icon" href="favicon.ico">
<link rel="stylesheet" href="main.css"> <link rel="stylesheet" href="main.css">
</head> </head>

44
tree-style-tabs-new-tab-button-bottom.html Normal file
View File

@ -0,0 +1,44 @@
<!DOCTYPE html>
<html>
<head>
<title>Fixing the position of TST's new tab button</title>
<meta charset="utf8">
<meta name="viewport" content="width=device-width,initial-scale=1"/>
<link rel="shortcut icon" href="favicon.ico">
<link rel="stylesheet" href="main.css">
</head>
<body>
<h1 id="header"><img src="favicon.ico" id="favicon"/><a href="/">FliegendeWurst's corner of the WWW</a></h1>
<h2>Fixing the position of TST's new tab button</h2>
<article>
<p>
Here you can learn how to change the position of the new tab button for the <a href="https://addons.mozilla.org/firefox/addon/tree-style-tab/">Tree Style Tab</a> browser extension.
With this change, the new tab button is always at the bottom of the tab tree.
Opening a new tab with the mouse is then as simple as clicking at the bottom left of the screen.
No more aiming at a 20 pixels high region below the last opened tab!
</p>
<p>
Simply add the CSS code below to TST's custom style option ("Advanced" > "Extra style rules for contents provided by Tree Style Tab").
</p>
<pre>
#tabbar .after-tabs {
display: none;
}
#tabbar ~ .after-tabs {
display: flex !important;
}
:root {
--after-tabs-area-size: 20px !important;
}
</pre>
</article>
</body>
</html>

2
z3-logic-puzzle-solving.html
View File

@ -2,7 +2,7 @@
<head> <head>
<title>Solving a logic puzzle using an SMT solver</title> <title>Solving a logic puzzle using an SMT solver</title>
<meta charset="utf8"> <meta charset="utf8">
<meta name="viewport" content="width=device-width,initial-scale=1.0"/> <meta name="viewport" content="width=device-width,initial-scale=1"/>
<link rel="shortcut icon" href="favicon.ico"> <link rel="shortcut icon" href="favicon.ico">
<link rel="stylesheet" href="main.css"> <link rel="stylesheet" href="main.css">
</head> </head>