Schlagwort: Tipps

Manchmal ist es nötig, die Git-Tags aufzuräumen – meist wenn man mit einem Checkout eines anderen Repos als Basis angefangen hat. Dafür gibt es ein einfaches Shell-Script, welches Ordnung macht. Die Tags werden lokal wie auch auf dem Remote (hier „origin“) gelöscht. for t in `git tag` do git push …

Eine der interessantesten Neuerungen, die CSS3 für Webdesigner mit sich bringt, ist die Möglichkeit beliebigen Elementen einen Schlagschatten zu verpassen. Musste man früher mit Grafiken und HTML-Handständen einen hübschen Schatten basteln, so kann man das nun bequem per CSS erledigen: ZRCB4BBGB459 .shadow { -moz-box-shadow: 0 0 5px #222; /* Firefox …