tonisuter

-webkit-border-top-left-radius:10px;
-webkit-border-top-right-radius:10px;
-webkit-border-bottom-right-radius:10px;
-webkit-border-bottom-left-radius:10px;
-moz-border-radius-topleft:10px;
-moz-border-radius-topright:10px;
-moz-border-radius-bottomright:10px;
-moz-border-radius-bottomleft:10px;
border-top-left-radius:10px;
border-top-right-radius:10px;

tonisuter

-webkit-border-radius:10px;
-moz-border-radius:10px;
border-radius:10px; 

tonisuter

-webkit-gradient(
    linear,
    left top,
    left bottom,
    color-stop(0, rgb(255,255,255)),
    color-stop(1, rgb(255,0,0))
)
-moz-linear-gradient(
    center top,
    rgb(255,255,255) 0%,

tonisuter

#! /bin/sh

### BEGIN INIT INFO
# Provides:          nginx
# Required-Start:    $all
# Required-Stop:     $all
# Default-Start:     2 3 4 5
# Default-Stop:      0 1 6
# Short-Description: starts the nginx web server
# Description:       starts nginx using start-stop-daemon

tonisuter

/**
 * Inset Box
 */

html {
	background: white;
	min-height:100%;
}

.inset_box  {

tonisuter

/**
 * The first commented line is your dabblet’s title
 */

background: #dddddd;
min-height: 100%;

tonisuter

/**
 * The first commented line is your dabblet’s title
 */
html  {
	font-family:verdana;
	background-color:#232323;
}

ul  {
	list-style:none;

tonisuter

// before refactoring
// returns 0-11 (Jan-Dec); -1 on failure
static int findMonth(const char* monthStr)
{
    ASSERT(monthStr);
    char needle[4];
    for (int i = 0; i < 3; ++i) {
        if (!*monthStr)
            return -1;
        needle[i] = static_cast<char>(toASCIILower(*monthStr++));

tonisuter

public static void includeHeaders(HashSet<String> headers, IASTTranslationUnit ast, IDocument document) {
  StringBuffer includeText = new StringBuffer();
  for(String headerName : headers) {
    if(!isHeaderAlreadyIncluded(headerName, ast)) {
      includeText.append("\n#include <" + headerName + ">");	
    }
  }

  if(includeText.length() > 0) {
    try {

tonisuter

bool MatchDnsName(const char* hostname, const char* dns_name) {
  // NULL or empty names don't match anything
  if (hostname == NULL || *hostname == '\0') return false;
  if (dns_name == NULL || *dns_name == '\0') return false;
  
  // check for wildcards */
  if (dns_name[0] == '*') {
    // wildcard match, expect '*.' at the start, we don't match '*foo.com'
    if (dns_name[1] != '.') return false;