Compare commits

..

No commits in common. "2427b1ebd72380f33d14e98e39de1153c31f09bf" and "7ab27b8c5847d7c6c0d43246be71ae55df293e3c" have entirely different histories.

5 changed files with 14 additions and 54 deletions

View File

@ -1,20 +1,17 @@
<!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>
<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>
Interesting tidbits:
<a href="./z3-logic-puzzle-solving.html">Solving a logic puzzle using an SMT solver</a>
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>
@ -42,6 +39,13 @@ 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: 45em;
max-width: 70em;
}
#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"/>
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
<link rel="shortcut icon" href="favicon.ico">
<link rel="stylesheet" href="main.css">
</head>

View File

@ -1,44 +0,0 @@
<!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>

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"/>
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
<link rel="shortcut icon" href="favicon.ico">
<link rel="stylesheet" href="main.css">
</head>