This commit is contained in:
FliegendeWurst 2023-07-30 10:09:36 +02:00
parent 7ab27b8c58
commit 5f1c5c2085
5 changed files with 50 additions and 14 deletions

View File

@ -1,17 +1,20 @@
<!DOCTYPE html>
<title>FliegendeWurst's corner of the WWW</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">
<h1 id="header"><img src="favicon.ico" id="favicon">FliegendeWurst's corner of the WWW</h1>
Interesting tidbits:
<a href="./z3-logic-puzzle-solving.html">Solving a logic puzzle using an SMT solver</a>
<span>Interesting tidbits</span>
<ul>
<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:
<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://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>
</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>.
<br>

View File

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

View File

@ -2,7 +2,7 @@
<head>
<title>Raspberry Pi temperature monitoring + calendar</title>
<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="stylesheet" href="main.css">
</head>

View File

@ -0,0 +1,40 @@
<!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;
}
</pre>
</article>
</body>
</html>

View File

@ -2,7 +2,7 @@
<head>
<title>Solving a logic puzzle using an SMT solver</title>
<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="stylesheet" href="main.css">
</head>