<div class="markdown">
<!DOCTYPE html>
<html>
<head>
        <meta charset="utf-8"/>
<style type="text/css">   /* Line wrapping */ div[markup="none"] { white-space: pre-wrap; }   div[markup="markdown"] { white-space: normal; }     /* General styling of quotation blocks (and colors for level 2 and upwards)*/   blockquote {        margin: 0 0 5px;        padding-left: 5px;      border-left: 2px solid #136BCE;     color: #136BCE; }       /* Specific styling of level 1 quotation blocks */  blockquote blockquote {     border-left: 2px solid #4B89CF;     color: #4B89CF; }       /* Discrete links in quoted text */ blockquote a:link { color: #136BCE; }   blockquote a:active { color: red; } blockquote blockquote a:link { color: #4B89CF; }    blockquote blockquote a:active { color: red; }      pre {       margin-left: 15px;      margin-right: 15px;     padding: 5px;       background-color: #E4E4E4;      border: thin solid gray;        overflow: auto; }       /* Show Raw Source */   pre.raw {       margin-left: 5px;       margin-right: 5px;      white-space: pre-wrap;  }       /* Attached messages are indented and given a frame and background color */ div.bodypart[type=message][subtype=rfc822] {        margin-left: 20px;      padding: 5px;       background-color: #FDF5E6;      border: thin solid gray;    }       div.bodypart[disposition="inline"][type=image] img {        max-width:600px;        height: auto;   }       /* Doesn't work.    div.bodypart[disposition="attachment"] + div.bodypart[disposition="attachment"] {       margin-top: 10px;   }   */      /*div.bodypart[disposition="attachment"] div {      float: left;        border-left: thin solid #A4A4A4;        border-top: thin solid #A4A4A4;     border-bottom: thin solid #A4A4A4;      background-color: #D5DCE4;      height: 1.2em;      min-height: 16px;       vertical-align: middle;     padding: 3px;       margin-bottom:5px;  }   */          /* Markdown table */        div.markdown table {        border-collapse: collapse;      margin: 0 2em;  /*  width: 320px;*/ }       div.markdown th {       padding: 0.5em; }       div.markdown td {       border-top: 1px solid lightgray;        border-bottom: 1px solid lightgray;     padding: 0.5em; }       div.markdown td+td {        border-left: 1px solid lightgray;   }       /* Attachments table */     table.attachments {     border-collapse: collapse;      margin: 1em 0em;    }       table.attachments th {      padding: 0.5em; }       table.attachments td {      border-top: 1px solid lightgray;        border-bottom: 1px solid lightgray;     padding: 0.5em 1em;         /* FIXME: This needs to be improved. */     max-width: 400px;      white-space: nowrap;    overflow: hidden;       text-overflow: ellipsis; }       table.attachments td.icon {     -webkit-user-select: none;      padding: 0em;   }       table.attachments td.icon img {     min-width: 16px;        width: 1.5em;       height: auto;   }       table.attachments td.description {      border-left: none;      padding-left: 5px;  }       table.attachments td.description a:link {       color: black;       text-decoration: none;  }       table.attachments td.description a:active {     color: gray;    }       table.attachments td.description a:hover {      text-decoration:underline;  }       table.attachments td.description a:visited {        color: gray;    }       table.attachments td.size {     text-align: right;      padding-right: 0;   }       table.attachments td.button {       padding-right: 0;   }       table.attachments form {        margin: 0;  }       /* The header related stuff is currently only used when displaying multiple messages */ /* Add a ':' after each header title */ span.header_name:after { content: ": " }    span.header_name { color: blue; font-weight: bold; }    span.header_body { font-weight: bold; } /* How to style a specific header */    span.header_name[type="from.name"] { color: red; font-weight: bold; }       /* Various spacings between messages and message-elements. */   hr.messagedivider { clear: both; margin-top: 10px; margin-bottom: 10px; }   span.header + div.body { margin-top: 10px } div.bodypart + div.bodypart { margin-top: 10px;  }      /* Styling the horizontal divider between messages. */  hr.messagedivider {     border-top: thin solid gray;        height: 2px;    }/* */             div.highlight > pre, pre.sundowner {                     margin-left: 15px;                     margin-right: 15px;                     padding: 5px;                     background-color: #fdf6e3;                     border: thin solid gray;                     overflow: auto;                     margin-bottom: 15px;                     display: inline-block;                     font-family: "Menlo", "Courier New", "Courier", "Monospaced";                     font-size: 10pt;             }             table.sundowner {                     line-spacing: 120%;                     font-family: "Menlo", "Courier New", "Courier", "Monospaced";                     font-size: 10pt;             }             div.markdown > p { /* Override stupid Microsoft CSS */                 margin-bottom: 1em;             }             div.markdown > * {                 font-family: Helvetica, Arial, sans-serif;                 font-size: 10pt;             }             /* */</style>
</head>
<body>

<p dir="auto">On 25 Mar 2014, at 13:51, Benny Kjær Nielsen wrote: </p>

<blockquote>
<p dir="auto">The only way to discover this syntax is to create the desired expression using a smart mailbox and then look at the result in the <code>Mailboxes.plist</code> file. Note that holding down ⌥ in the conditions editor allows you to make the or/and (any/all) constructions. </p>
</blockquote>

<p dir="auto">Ah! I wondered about doing “or”s in the UI. That was the missing piece. Thanks!</p>

</body>
</html>


</div>