Skip to content

Instantly share code, notes, and snippets.

View mihahribar's full-sized avatar

Miha Hribar mihahribar

66 followers · 109 following
View GitHub Profile
@mihahribar
mihahribar / gist:1923693
Created February 27, 2012 13:13
Homebrew-alt php install error
brew install https://raw.github.com/ampt/homebrew/php/Library/Formula/php.rb
######################################################################## 100.0%
==> Downloading http://www.php.net/get/php-5.3.10.tar.bz2/from/this/mirror
######################################################################## 100.0%
==> Patching
patching file ext/tidy/tidy.c
==> ./configure --prefix=/usr/local/Cellar/php/5.3.10 --disable-debug --with-config-file-path=/usr/local/Cellar/php/5.3.10/etc --with-iconv-dir=/usr --enable-exif --enable-soa
==> make
==> make install
==> cp ./php.ini-production /usr/local/Cellar/php/5.3.10/etc/php.ini
@mihahribar
mihahribar / gist:1946225
Created March 1, 2012 00:36
PHP install --with-intl error
This file has been truncated, but you can view the full file.
brew install --user-llvm --with-mysql --with-intl --with-suhosin https://raw.github.com/josegonzalez/homebrew-php/master/Formula/php.rb
######################################################################## 100.0%
==> Installing php dependency: gettext
==> Downloading http://ftpmirror.gnu.org/gettext/gettext-0.18.1.1.tar.gz
######################################################################## 100.0%
==> Downloading patches
######################################################################## 100.0%
######################################################################## 100.0%
==> Patching
patching file gettext-tools/configure
@mihahribar
mihahribar / gist:2466967
Created April 22, 2012 21:12
/* get rid of default margins/paddings */
* {
padding: 0;
margin: 0;
}
/* 1em = 10px */
body {
font-size: 62.5%
}
@mihahribar
mihahribar / gist:2466976
Created April 22, 2012 21:15
...
<body>
<div id="head">...</div>
<div id="navigation">...</div>
<div id="content">...</div>
<div id="footer">...</div>
</body>
@mihahribar
mihahribar / gist:2466979
Created April 22, 2012 21:16
/* =HEAD
************************/
...
/* =NAVIGATION
************************/
...
@mihahribar
mihahribar / gist:2466985
Created April 22, 2012 21:17
#container {
/* do not apply paddings/margins to parent */
width: 300px;
}
/* child of the #container */
#navigation {
padding: 0 10px;
margin: 0 20px;
}
@mihahribar
mihahribar / gist:2468100
Created April 23, 2012 01:31
...
<form action="rounded.html" method="get">
<input type="submit" value="Submit me!" />
</form>
...
@mihahribar
mihahribar / gist:2468105
Created April 23, 2012 01:32
input.button {
border: 0;
background: #fff url(button.gif) no-repeat;
height: 22px;
/* used to catch the buttonEnding */
position: relative;
}
.buttonEnding {
position: absolute;
@mihahribar
mihahribar / gist:2468110
Created April 23, 2012 01:33
...
<form action="rounded.html" method="get">
<input type="submit" value="Submit me!" />
<div class="buttonEnding"></div>
</form>
...
@mihahribar
mihahribar / gist:2468113
Created April 23, 2012 01:33
function buttonEndings() {
if (!document.getElementsByTagName) {
return false
}
var buttons = getElementsByClass("button");
/* loop through all buttons and attach a div */
for (i=0; i < buttons.length; i++) {
var div = document.createElement("div");
div.className = "buttonEnding";