@charset "UTF-8";
/* CSS Document */

/*  import url("iphone.css") only screen and (max-device-width: 480px); */

@font-face {
  font-family: "DejaVu Sans Mono";
  font-weight: normal;
  font-style: normal;
  src: url(DejaVuMonoSans.ttf) format("truetype");
}

@font-face {
  font-family: "DejaVu Sans Mono";
  font-weight: bold;
  font-style: normal;
  src: url(DejaVuMonoSansBold.ttf) format("truetype");
}

@font-face {
  font-family: "DejaVu Sans Mono";
  font-weight: normal;
  font-style: oblique;
  src: url(DejaVuMonoSansOblique.ttf) format("truetype");
}

@font-face {
  font-family: "DejaVu Sans Mono";
  font-weight: bold;
  font-style: oblique;
  src: url(DejaVuMonoSansBoldOblique.ttf) format("truetype");
}

body {
     font-family: Arial, Helvetica, sans-serif;
}
code {
     font-family: "DejaVu Sans Mono", Courier, "Courier New";
     font-size: 80%;
/*     font-weight: bold; */
}
pre {
     font-family: "DejaVu Sans Mono", Courier, "Courier New";
/*     font-weight: bold; */
     font-size: 90%;
     white-space: pre-wrap;
}
caption {
     font-weight: bold;
}
.sidebar {
     float: left;
     margin-right: 1em;
     margin-bottom: 1em;
}
.note .sidebar {
	margin-right: 0;
	margin-bottom: 0;
}
.tip {
	background-color: #C7FFCF;
	margin: 2em;
	padding: 0 1em 1em 1em;
	border-width: 1px;
	border-color: #CCC;
	border-style: solid;
	-moz-border-radius: 1em;
	-webkit-border-radius: 1em;
	-webkit-box-shadow: 3px 3px 6px #888;
}
.tip p {
	margin: 0;
	padding: 1em 0 0 0;
}
.note {
	background-color: #FFFECF;
	margin: 2em;
	padding: 0 1em 1em 1em;
	border-width: 1px;
	border-color: #CCC;
	border-style: solid;
	-moz-border-radius: 1em;
	-webkit-border-radius: 1em;
	-webkit-box-shadow: 3px 3px 6px #888;
}
.note p {
	margin: 0;
	padding: 1em 0 0 0;
}
.warning {
	background-color: #FFDDDD;
	margin: 2em;
	padding: 0 1em 1em 1em;
	border-width: 1px;
	border-color: #CCC;
	border-style: solid;
	-moz-border-radius: 1em;
	-webkit-border-radius: 1em;
	-webkit-box-shadow: 3px 3px 6px #888;
}
.warning p {
	margin: 0;
	padding: 1em 0 0 0;
}
.applescriptCommandSynopsis dt {
	padding-bottom: 0;
	margin-bottom: 0;
}
.applescriptClass h5 {
	text-transform: uppercase;
}
.applescriptClass p {
	margin-bottom: 0;
	margin-top: 0;
}

h3 { clear: both; margin-top: 2.5em }
h2 { clear: both; margin-top: 2.5em }
div { clear: both }
div.content { text-align: left; margin-right: auto; margin-left: auto; width: 608px }
div.sidebar { float: left }
img { margin: 8px }
img.sidebar { margin-top: 0px; margin-left: 0px }
body { text-align: center }
ul.index { list-style-type: none }

@media only screen and (max-device-width: 480px) {
	/* This section only applies to iPhone and other modern CSS3
	   browsers with relatively small screens. */
	   
	/* On iPhone, we can prefer the slightly nicer Helvetica over Arial. */
	body {
		font-family: Helvetica, Arial, sans-serif;
	}
	   
	/* Don't specify a width for the content, or the page will be shrunk
	   and the text too small. */
	div.content {
		width: auto;
	}
	
	/* Don't allow images to exceed the available space. */
	img {
		max-width: 280px;
	}
	
	/* The default sidebar margins of 1em are too big on the iPhone. */
	.sidebar {
		margin-right: 4px;
		margin-bottom: 2px;
	}
}