Skip to content

Instantly share code, notes, and snippets.

MrKioZ / Simple CSS
Created November 19, 2019 19:00
My first css page
<!DOCTYPE html>
<title>Internet Jobs</title>
<style type="text/css">
::selection {
background: #ffb7b7; /* WebKit/Blink Browsers */
::-moz-selection {
background: #ffb7b7; /* Gecko Browsers */
MrKioZ /
Last active July 13, 2024 23:02 — forked from max-kov/
matrix falling code in python using pygame
import pygame, pygame.font
import random
COLOR = (0, 200, 200) #The Color of the Matrix
ZERO_ONE = False #Makes a rain of zeros and ones instead of random ASCII character
def IsWritten():
defTemp = True
for x in range((lettersOnScreen[0] / 2) - (len(str) / 2), (lettersOnScreen[0] / 2) + (len(str) / 2) + 1):
if xHeads[x] == -1:
MrKioZ / ubuntu-server-django-guide.rst
Created August 8, 2020 11:08 — forked from epicserve/ubuntu-server-django-guide.rst
Ubuntu Server Setup Guide for Django Websites
MrKioZ /
Created December 17, 2020 18:47 — forked from gunjanpatel/
Git HowTo: revert a commit already pushed to a remote repository

Revert the full commit

Sometimes you may want to undo a whole commit with all changes. Instead of going through all the changes manually, you can simply tell git to revert a commit, which does not even have to be the last one. Reverting a commit means to create a new commit that undoes all changes that were made in the bad commit. Just like above, the bad commit remains there, but it no longer affects the the current master and any future commits on top of it.

git revert {commit_id}'

About History Rewriting

Delete the last commit

Deleting the last commit is the easiest case. Let's say we have a remote origin with branch master that currently points to commit dd61ab32. We want to remove the top commit. Translated to git terminology, we want to force the master branch of the origin remote repository to the parent of dd61ab32:

<!-- Prepare a container for your calendar. -->
<!-- Optionally, include the theme (if you don't want to struggle to write the CSS) -->