timvdalen

% alloy.sty
% Alloy mode for the LaTeX listings package.
% This is public domain

\lstdefinelanguage{alloy}{
  keywords={%
      assert, pred, all, no, lone, one, some, check, run,
      but, let, implies, not, iff, in, and, or, set, sig, Int, int,
      if, then, else, exactly, disj, fact, fun, module, abstract,
      extends, open, none, univ, iden, seq,

timvdalen

BASE_DIR=/home/ubuntu/ccfinder-src
SCRATCH_SPACE=/media/output

CCFX=${BASE_DIR}/ubuntu32/ccfx
PICOSEL=${BASE_DIR}/ubuntu32/picosel

SOURCE=/media/output/source

TEMP=temp
TEMP_CCFX=$(TEMP)/ccfx

timvdalen

<link rel="import" href="../core-icon-button/core-icon-button.html">
<link rel="import" href="../core-toolbar/core-toolbar.html">
<link rel="import" href="../core-header-panel/core-header-panel.html">
<link rel="import" href="../paper-button/paper-button.html">
<link rel="import" href="../paper-calculator/paper-calculator.html">

<polymer-element name="my-element">

  <template>
    <style>    

timvdalen

<link rel="import" href="../core-icon-button/core-icon-button.html">
<link rel="import" href="../core-toolbar/core-toolbar.html">
<link rel="import" href="../core-header-panel/core-header-panel.html">

<polymer-element name="my-element">

  <template>
    <style>    
      :host {
        position: absolute;

timvdalen

/* 
Some basic Github styles and syntax highlighting CSS via Pygments.
*/
html {
	font-size: 14px;
	line-height: 1.6;
	font-family: helvetica,arial,freesans,clean,sans-serif;
	color: black;
}
body {

timvdalen

figure {
  text-align: center;
}

figure img {
  max-width: 50%;
}

.hljs {
  background: initial;